I guess, more specifically, it should be smart-cas...
# language-proposals
g
I guess, more specifically, it should be smart-cast to the Union type
Base+IFace