Dropping eligibility of conforms as an implicit conversion.
Dropping eligibility of conforms as an implicit conversion.

"conforms" is no longer special-cased to be eligible as a implicit conversion. Only implicit methods are eligible, whereas conforms is an implicit value with an apply method. So far, "conforms" as an implicit conversion masked in effect some type inference bugs. With the previous two commits, it is no longer necessary because two type inference bugs got fixed.

lampepfl/dotty,AlexSikia/dotty,vsalvis/dotty,DarkDimius/dotty,auvik/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,reactormonk/dotty,som-snytt/dotty,dotty-staging/dotty,angi2/dotty,VladimirNik/dotty,lampepfl/dotty,dotty-staging/dotty,yusuke2255/dotty,vsalvis/dotty,reactormonk/dotty,svalaskevicius/dotty,som-snytt/dotty,lampepfl/dotty,spetz911/dotty,lampepfl/dotty,VladimirNik/dotty,som-snytt/dotty,sjrd/dotty,densh/dotty,sjrd/dotty,AlexSikia/dotty,spetz911/dotty,sjrd/dotty,yusuke2255/dotty,folone/dotty,som-snytt/dotty,som-snytt/dotty,angi2/dotty,densh/dotty,folone/dotty,svalaskevicius/dotty,auvik/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty