いや、成り立つのでは？

5:34 AM

別に決めの問題で、射像があればいいのだから

5:34 AM

T から Foo<T> のアップキャストは .bar(t) って例えば決めておけば

5:34 AM

型安全性自体は壊れないと思う

5:35 AM

タイプチェックが通るのにランタイムクラッシュするような穴があかない、という意味。 (edited)