scala.tools.nsc.typechecker.Implicits.ImplicitSearch
list of list of infos
if true, iss
represents in-scope implicits, which must respect the normal rules of
shadowing. The head of the list iss
must represent implicits from the closest
enclosing scope, and so on.
Preventing a divergent implicit from terminating implicit search, so that if there is a best candidate it can still be selected.
Sorted list of eligible implicits.
Returns all eligible ImplicitInfos and their SearchResults in a map.
Returns the SearchResult of the best match.
The implicits that are not valid because they come later in the source and lack an explicit result type.
The implicits that are not valid because they come later in the source and lack an explicit result type. Used for error diagnostics only.
True if a given ImplicitInfo (already known isValid) is eligible.
Prune ImplicitInfos down to either all the eligible ones or the best one.