is it possible to assign a name to the discriminee...

# announcements

[rm]

is it possible to assign a name to the discriminee of a when expression? if i have, for example, when(e.pop()) { is Expr -> { ... } is List -> { ... } ... i obviously need to then refer to the Expr-typed e.pop() in the Expr branch