This makes sense because the `match` returns a union of u32 and `never`. Assigning values of expressions that are purely `never`, or having values that are pur

This makes sense because the `match` returns a union of u32 and `never`. Assigning values of expressions that are purely `never`, or having values that are purely `never` or `()` as the condition in a conditional operator, should be marked as an error, like unreachable code.