Swift は Tagged Union だから Foo?? とかもできるわけだし、サブタイプ的に振る舞わせるのが微妙ですよねぇ・・・。

4:35 AM

だから、オーバーライドで Foo? を Foo に狭めるのも、代入時の暗黙の型変換も全部なしってのがシンプルな気がする。今更無理だけど。