| // RUN: %target-typecheck-verify-swift |
| protocol Foo { |
| associatedtype Flim |
| associatedtype Flam |
| func foo(_: Flim) -> Flam |
| } |
| |
| struct Bar: Foo { |
| typealias Flim = Int |
| |
| func foo(_: Int) -> Int {} |
| func foo(_: String) -> String {} |
| } |
| |
| func testDeducedFlamType<T: Foo, U>(_: T, _: U.Type) |
| where T.Flam == U {} |
| |
| testDeducedFlamType(Bar(), Int.self) |
| |
| struct Bas<T, U, V, W>: Foo { |
| typealias Flim = T |
| func foo(_: T) -> U {} |
| func foo(_: V) -> W {} |
| } |
| |
| testDeducedFlamType(Bas<Int, String, Float, Double>(), String.self) |
| testDeducedFlamType(Bas<String, Float, Double, Int>(), Float.self) |
