Skip to content

Use a type-alias-impl-trait in ObligationForest#107168

Merged
bors merged 1 commit intorust-lang:masterfrom
Noratrieb:if-a-tait-falls-in-the-forest,can-we-know-it-wasnt-revealed
Jan 26, 2023

Commits

Commits on Jan 21, 2023