There are some intricate details. For example, you...

# language-proposals

[dmitry.petrov]

There are some intricate details. For example, you still have to "prove" that the variable will be initialized, otherwise you'll have a class file that might fail to verify.