Don't allow instantiated ResultCaps to subsume anything#23890
Closed
odersky wants to merge 7 commits intoscala:mainfrom
Closed
Don't allow instantiated ResultCaps to subsume anything#23890odersky wants to merge 7 commits intoscala:mainfrom
odersky wants to merge 7 commits intoscala:mainfrom
Commits
Commits on Sep 9, 2025
Commits on Sep 10, 2025
- committed
- committed