単純に↓だけで
X に対する upper/lower bounds が効いてるか。 class C1 {} class C2<X: C1>: X { func foo(_ x: X) -> X { x } func bar() { let c1: C1 = foo(self) } }