| // RUN: %target-typecheck-verify-swift |
| |
| class A {} |
| class B : A {} |
| |
| let test0 : A.Type = A.self |
| let test1 : A.Type = B.self |
| let test2 : B.Type = A.self // expected-error {{cannot convert value of type 'A.Type' to specified type 'B.Type'}} |
| let test3 : AnyClass = A.self |
| let test4 : AnyClass = B.self |
| |
| struct S {} |
| |
| let test5 : S.Type = S.self |
| let test6 : AnyClass = S.self // expected-error {{cannot convert value of type 'S.Type' to specified type 'AnyClass' (aka 'AnyObject.Type')}} |
| |
| func acceptMeta<T>(_ meta: T.Type) { } |
| acceptMeta(A) // expected-warning{{missing '.self' for reference to metatype of type 'A'}}{{13-13=.self}} |
| acceptMeta((A) -> Void) // expected-warning{{missing '.self' for reference to metatype of type '(A) -> Void'}} {{12-12=(}} {{23-23=).self}} |
