Harden constraints so bounds can only be value types or lambdas#9616

odersky merged 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:harden-constraintsdotty-staging/dotty:harden-constraintsCopy head branch name to clipboard