It will not stop you doing this at runtime of course. It is only intended for type checking.