Closed nicolasstucki closed 6 months ago
Issue found in https://github.com/lampepfl/dotty/issues/19709
Issue found in https://github.com/lampepfl/dotty/issues/19709