[remram]

Oh no! Does it not have a type for NonNull references, like Rust does?

[kaba0]

Since Scala 3, it can have total static analysis where nulls become a separate type that has to be explicitly declared in type signatures.

So, yes.