A modern programming language that makes developers happier.

kotlinlang

I've just found <https://play.kotlinlang.org/#eyJ2ZXJzaW9uIjoiMS40LU0xIiwiY29kZSI6ImNsYXNzIE51bGxQb2ludGVyRXhjZXB0aW9uUHJvZHVjZXIge1xuICAgIFxuICAgIHZhbCBzOiBTdHJpbmdcbiAgICBcbiAgICBjb25zdHJ1Y3RvcigpIHtcbiAgICAgXHRjcmFzaCgpXG4gICAgIFx0cyA9IFwiXCJcbiAgICB9XG4gICAgXG4gICAgZnVuIGNyYXNoKCl7XG4gICAgICAgIHByaW50KHMudG9TdHJpbmcoKSlcbiAgICB9XG59XG5cbmZ1biBtYWluKCkge1xuICAgIE51bGxQb2ludGVyRXhjZXB0aW9uUHJvZHVjZXIoKVxufVxuIiwicGxhdGZvcm0iOiJqYXZhIiwiYXJncyI6IiJ9|this> online, slightly modified it to remove the cursing.

Running this code will cause a `java.lang.NullPointerException` to be thrown.

Shouldn't the compiler recognize that `crash` is modifying the property before it's assigned?