@swiftbot --version 4.0.3

class X { var a: Int init(a: Int) { self.a = a } } protocol A { var b: String { get } } extension A { var b: String { return "hello" } } extension X: A { } class Y: X { init() { print(b) super.init(a: 1) } }