Sharpen range approximation for applied types with capture set ranges#16261

Merged

Linyxus merged 1 commit intoscala:mainfrom

dotty-staging:fix-16226

Oct 31, 2022

Commits on Oct 31, 2022

Revise avoidance scheme according to proposal by @linyxus
odersky
committed