protocol P {} class C: P {} func cast(_ any: Any) -> (C & P)? { any as? (C & P) } _ = cast(C()) これ、C & Pのメタデータを用意してキャストするコードが生成されるから、witness tableも持ってそう。Cが既にPだというのは考慮されていない感じ。