@swift-5.0.3 class C1 {} class C2: C1 {} protocol Foo { associatedtype X where C2: X } print(1)