Backport "Improvements for implicit searches with top-level type variables"#16045

Merged

Kordyjan merged 5 commits intoscala:release-3.2.1from

dotty-staging:backport-16001

Sep 15, 2022

Commits on Sep 15, 2022

Better diagnostics for too unspecific implicit searches

odersky
authored and
Kordyjan
committed
Better wildcard approximations of higher-kinded applications

odersky
authored and
Kordyjan
committed
Fix test

odersky
authored and
Kordyjan
committed
More tests that work now

odersky
authored and
Kordyjan
committed
Update compiler/src/dotty/tools/dotc/typer/ProtoTypes.scala

authored and
Kordyjan
committed