"cast(Foo) foo" has type "Foo?"