@swift-5.1.5 class C1 {} class C2: C1 {} func foo<X>(_ x: X) where C2: X {}