Oh, you want it for more than `when`?
# language-proposals
d
Oh, you want it for more than
when
?
b
Well yeah... Anywhere the type is already known. Function parameters, variable assignment, turn statements, etc