public protocol P {
  func f()
}

public protocol PDerived: P {}