Add test case
Add test case

Iter2.scala fails with 6 errors, but succeeds once lubs and glbs do not try to
unify under invariant type constructors.

sjrd/dotty,lampepfl/dotty,sjrd/dotty,VladimirNik/dotty,VladimirNik/dotty,densh/dotty,dotty-staging/dotty,densh/dotty,reactormonk/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty,som-snytt/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,som-snytt/dotty,reactormonk/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty