[jstimpfle]

> Implicit nullability doesn't really save you any null checks.

It sort of does, because explicit nullability forces you to do many redundant null checks when you actually knew that something could not possibly be null.

[tangent128]

If you know something can't possibly be null, then store it as a non-nullable type as soon as you know that.

[jstimpfle]

> as soon

that would need dynamically typed data...