I think you can make it feasible with a few features.

Not sure which of these kotlin has if any

1. declaring that a type isn’t null with ! appended.

2. Suppression annotations beatable at the file / class / function / line levels to disable the check

3. Facades / Decorators that can be added by anyone that tell the compiler retrofitted additional typing information on existing libraries (the defintely typed / typescript approach)