Fix #2762: Make sure constrainResult does not change context when false#2892

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#2762-1dotty-staging/dotty:fix-#2762-1Copy head branch name to clipboard