test/IRGen/Inputs/sil_witness_tables_external_input.swift

public struct Y {}

public protocol P {
  func doSomething() -> Y
}

public struct X : P {
  public func doSomething() -> Y {
    return Y()
  }
  public init() {}
}