Skip to content

eagerly compute sub_unification_table again#140375

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

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

review

b51a3a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view