Add spec for intersection types#5233

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-intersectiondotty-staging/dotty:fix-intersectionCopy head branch name to clipboard