Splice hole with singleton captures#18357

Merged

nicolasstucki merged 1 commit intoscala:mainfrom dotty-staging:splice-hole-with-singleton-captures-revisit

Aug 15, 2023

+21-7

Commits on Aug 15, 2023

Fix captured references to singleton types
nicolasstucki
committed