the fact this takes us to analysis means we can re...

# pattern-matching

[raulraja]

the fact this takes us to analysis means we can rebind those symbols to descriptors and get into typechecking where we would accept the expression and in codegen desugar the expression into a regular Kotlin match with nested guards