Fix #12267: Constraints should not cross phases #12300

odersky wants to merge 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:explore-perfdotty-staging/dotty:explore-perfCopy head branch name to clipboard