Pick most significant error in implicit search
Pick most significant error in implicit search

In implicit search, if both contextual and type search fail,
pick the more significant error of the two searches to report.

 - ambiguous trumps other errors
 - otherwise, errors with larger computed results trump errors with smaller ones.

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