Another given priority scheme to ensure transitivity#21325

Closed

odersky wants to merge 2 commits intoscala:mainfrom

dotty-staging:given-priority-transitive

Commits on Aug 3, 2024

Another given priority scheme to ensure transitivity
odersky
committed

Commits on Aug 4, 2024

Variant: Declare implicit/givens pairs ambiguous for winsType
odersky
committed