In Scala, is it possible to "subtract" a type from a composed type like this one: "A with B with C" ?
Show this thread
-
This code exists already in the compiler for doing exhaustivity checking. But that currently happens post-typer, and it would need to be promoted to the typer in order to make use of the newly-formed union type it calculates. It might happen.
I make myself sound more authoritative on this issue than I really should; I learned this from a couple of conversations with Guillaume Martres.
