test/Reflection/Inputs/Extensions.swift

extension S : P4 {
  public typealias Result = Int
  public func getResult() -> Result {
    return 888
  }
}