Skip to content

Rename caps.cap to caps.any#24923

Open
odersky wants to merge 2 commits intoscala:mainfrom
dotty-staging:rename-cap
Open

Rename caps.cap to caps.any#24923
odersky wants to merge 2 commits intoscala:mainfrom
dotty-staging:rename-cap

Commits

Commits on Jan 19, 2026