Ok, I saw your message to scala-internals and agree this is the right PR for the fix -- another overloaded use of Any/Nothing where we should've been using a dedicated type. My bad. Would still be interesting to see the other fix that "breaks" the gadt stuff.