Skip to content

[ty] Handle covariant "deep" mutual typevar constraints - #22043

Closed
dcreager wants to merge 16 commits into
mainfrom
dcreager/generic-horn-clauses
Closed

[ty] Handle covariant "deep" mutual typevar constraints#22043
dcreager wants to merge 16 commits into
mainfrom
dcreager/generic-horn-clauses

don't substitute recursively!

e1f9ba7
Select commit
Loading
Failed to load commit list.