Chris Nicholson-Sauls wrote
[...]
> # case n in
[...]
> # switch (n.type) {
[...]
> So close. Not sure what can be done about it, though.
The emulation names the member/field explicitely.
This might be a hint, that one needs some type deduction from the case
statements inside the scope of the switch.
-manfred