@swift-5.0.3 class C1 {} class C2: C1 {} protocol Foo { associatedtype X where C2: X }

1:26 AM

お、ほんとだ。 Swift 5 だと通る。