Skip to content

Avoid incorrect simplifications when updating bounds in the constraint#16410

Merged
smarter merged 1 commit intoscala:mainfrom
dotty-staging:safe-add-bound-3
Dec 1, 2022

Commits

Commits on Nov 30, 2022