Drop ineffective condition
Drop ineffective condition

The dropped condition is vacuously true for all singleton prefixes, since for them
classSymbol is NoSymbol. If we make it work as was intended using widen in front of
classSymbol on both sides, then EeraseAnd and dotty bootstrap fail.

sjrd/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty