現在でも T < U で T? < U? の暗黙変換があるのは Optional の T が out parameter という知識が組み込まれてるからなので。

3:14 AM

ただ Never: P も現状は実装されてないから飛躍が２つ必要。