On 6/3/13, Andrej Mitrovic <andrej.mitrovich at gmail.com> wrote: > Actually, I just figured out that we already have support for what > I've asked for. Well apparently switch/final switch doesn't work with subtyping, I'll try to file this as a bug.