Perhaps you're right there since the check is moved to runtime, I must have glossed over that.

If you look at one of the sibling comments though, it's a bit of a moot point. There's a paper showing a number of unsound bits of code in Java and Scala that use nulls to do pernicious things like transmute types.