// 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)
