因みに

8:03 AM

これが可能である条件は any P: P の場合だけで

8:03 AM

APIの型としては共変性がある状態で狭い方になってるだけなんで

8:03 AM

互換性の問題が発生しません。