記事書きつつここの議論を踏まえた上で、私の中に 1. 暗黙の型変換(auto boxingもしくはそれ相当)をサブタイピングとして扱うことはやるべきではない(あくまで型変換に留まらせるべきである) 2. もし暗黙の型変換をサブタイピングとして扱うことを許容したとしても、逆向きの暗黙のアンラップは許容するべきではないと言う仮設が構築されつつある

1:34 PM

おそらくですが、swiftのサブタイピングにおいてTとT?が特にヤバくて、T?とU?は許容できる可能性がありそう(ちゃんと考えてない)