Skip to content

fix: Fix extracting refinements from intersection types in dynamic select hovers#23640

Merged
KacperFKorban merged 2 commits intoscala:mainfrom
dotty-staging:fix-i22919
Aug 6, 2025
Merged

fix: Fix extracting refinements from intersection types in dynamic select hovers#23640
KacperFKorban merged 2 commits intoscala:mainfrom
dotty-staging:fix-i22919

Commits

Commits on Jul 31, 2025