Add test that demonstrate that #878 is fixed
Add test that demonstrate that #878 is fixed

It was fixed by 2460f9603b0f0ed1d73dfea99edcee9ba6261d36

lampepfl/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,som-snytt/dotty,sjrd/dotty