Skip to content

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

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

Use a type-alias-impl-trait in ObligationForest#107168
bors merged 1 commit into
rust-lang:masterfrom
Noratrieb:if-a-tait-falls-in-the-forest,can-we-know-it-wasnt-revealed

Use a type-alias-impl-trait in `ObligationForest`

f74ca88
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs