list of list of infos
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.
True if a given ImplicitInfo (already known isValid) is eligible.