Disable refined preference scheme for implicits
Disable refined preference scheme for implicits

Turns out it's not transitive when combined with the old scheme. So it
should be one or the other. Conservatively, this commit reverts to the old
scheme.

dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,som-snytt/dotty,lampepfl/dotty