Skip to content

Fix a performance regression in obligation deduplication. - #116826

Merged
bors merged 1 commit into
rust-lang:masterfrom
nnethercote:fix-116780-116797
Oct 17, 2023
Merged

bors merged 1 commit into
rust-lang:masterfrom
nnethercote:fix-116780-116797

Commits

Commits on Oct 17, 2023