Refactor dependent function refinement logic#18305

nicolasstucki wants to merge 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:refactor-dependent-refinemet-logicdotty-staging/dotty:refactor-dependent-refinemet-logicCopy head branch name to clipboard