Fix error detected in review of #18699#18781

Merged

Linyxus merged 3 commits intoscala:mainfrom dotty-staging:followup-18699

Oct 30, 2023

+20-7

Commits on Oct 28, 2023

Fix error detected in review of scala#18699
odersky
committed

Commits on Oct 29, 2023