String?.none as? Int? => Int??.some(.none) こいつをウソのサブタイプを倒した後でどう説明するのが良いのか、どう言う振る舞いであるべきなのかを考えないといけない気がする

6:00 AM

Cat?.none as Animal? これが暗黙のmapであるとするのであれば上の結果は正しいということになりますね