why so? we can have a rule such that `val` must be...

# language-proposals

[kittinunf]

why so? we can have a rule such that val must be initialized before use and that it may only be initialized, not reassigned or mutated after initialization.