My suggestion to Element

[mh (marc hoffman)]

As Anton pointed out in private and I forgot to mention at the time, we somewhat have this:

@antonk

@mh

“if (x is SomeType y) y.SomeMember”

isn’t it equal to this?

with matching y := SomeType(x) do
  y.SomeMember

[JohnMoshakis]

but your still going to support the if syntax in some way ?

[mh (marc hoffman)]

@JohnMoshakis

but your still going to support the if syntax in some way ?

I can’t say. probably not.