test/SILOptimizer/Inputs/sil_witness_tables_external_input.swift

public struct Y {}

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

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