Type Lambdas Spec#5217

odersky merged 7 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:spec-type-lambdasdotty-staging/dotty:spec-type-lambdasCopy head branch name to clipboard