Any から any P にダウンキャストする場合があるから単一モジュールでも必要です

2:00 AM

protocol P {} struct S1<K> {} extension S1: P where K == Int {} func castToP(_ x: Any) -> any P? { x as? any P }

2:00 AM

↑こういうの