> The match block is more syntactically similar to if/while/etc. blocks, and so it makes sense that it would follow similar scoping rules. I would argue that a

> The match block is more syntactically similar to if/while/etc. blocks, and so it makes sense that it would follow similar scoping rules. I would argue that a stack of 'case's are a 'lambda' (and in particular a single 'case x: ...' is equivalent), and hence they should have function scoping like 'lambda' does. 'match' is a distraction; it's just a function call written backwards, i.e. `match x: f` is equivalent to `f(x)` (in this case Python happens to require `f` to be implemented using the stack-of-'case's form, but that seems incidental; similar to how 'raise' and 'except' are a general form of control flow, despite Python requiring values to be wrapped in something descended from 'Exception')