// RUN: %target-typecheck-verify-swift | |
class A { | |
init() {} | |
} | |
class B { | |
init() {} | |
convenience init(x: ()) { | |
class C: A { | |
override init() { // No error | |
super.init() | |
} | |
} | |
class D: A { | |
convenience init(x: ()) { | |
class DI : A { | |
override init() { // No error | |
super.init() | |
} | |
} | |
self.init() | |
} | |
override init() { // No error | |
class DI : A { | |
override init() { // No error | |
super.init() | |
} | |
} | |
super.init() | |
} | |
} | |
struct E { | |
init() {} // No error | |
} | |
self.init() | |
} | |
} | |