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

Linyxus merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-16226dotty-staging/dotty:fix-16226Copy head branch name to clipboard