Skip to content

A slightly more conservative version of #14218#18352

Merged
dwijnand merged 1 commit intoscala:mainfrom
dotty-staging:fix-14128-alt
Aug 8, 2023

Commits

Commits on Aug 7, 2023