| // RUN: %target-run-simple-swift | |
| // REQUIRES: executable_test | |
| protocol A { | |
| associatedtype B | |
| func b(_: B) | |
| } | |
| struct X<Y> : A { | |
| func b(_ b: X.Type) { | |
| let x: Any = b | |
| print(b as X.Type) | |
| } | |
| } | |
| func foo<T: A>(_ x: T, _ y: T.B) { | |
| x.b(y) | |
| } | |
| let a = X<Int>() | |
| let b = X<String>() | |
| // CHECK: (Metatype) | |
| foo(a, X<Int>.self) | |
| // CHECK-NEXT: (Metatype) | |
| foo(b, X<String>.self) |