Here a proposal to add a flag for more typesafety ...

# compiler

[Cies]

Here a proposal to add a flag for more typesafety wrt to platform types: https://youtrack.jetbrains.com/issue/KT-72083 (please vote if you like to see a flag like this!)

[JP Sugarbroad]

If only there were a way to provide the nullability data to the compiler separately... But I like the idea of default-nullable.