| // RUN: %target-typecheck-verify-swift | |
| struct Test0 {} | |
| var test0 : Test0.Type = Test0.self | |
| test0 = Test0.self | |
| class Test1a { | |
| init() { } | |
| class func foo() {} | |
| } | |
| class Test1b : Test1a { | |
| override init() { super.init() } | |
| } | |
| Test1b.foo() | |
| var test1 = Test1a.self | |
| test1 = Test1b.self | |
| var x = Test1b() | |
| test1 = type(of: x) |