Skip to content

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

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

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

Commits

Commits on Dec 18, 2025

Commits on Dec 19, 2025