It seems like being able to directly define a `val...

# language-proposals

[dalexander]

It seems like being able to directly define a val x: T! would solve that rather than adding another keyword?