| // RUN: %target-typecheck-verify-swift | |
| func f0<T>(_ x: T) {} | |
| // FIXME: Lookup breaks if these come after f1! | |
| class A { | |
| init() {} | |
| }; | |
| class B : A { | |
| override init() { super.init() } | |
| } | |
| func f1(_ a: A) -> A { return a } | |
| func f1(_ b: B) -> B { return b } | |
| f0(f1(B())) |