I'm not sure if I understand the question (the original author's motivation?) but as for me, the comment says approximately "compilation has failed, we'll pitch an Any into the mix and an error will be reported." And I see it walking that code path 1500 times during a successful compilation. And when one is trying to make the pattern matcher a tiny bit sound one starts seeing the random introduction of "Any" types as deadly poison.