Skip to content

eagerly compute sub_unification_table again#140375

Merged
bors merged 6 commits intorust-lang:masterfrom
lcnr:subrelations-infcx
Sep 8, 2025
Merged

eagerly compute `sub_unification_table` again#140375
bors merged 6 commits intorust-lang:masterfrom
lcnr:subrelations-infcx

Commits

Commits on Sep 8, 2025