Skip to content

Maintain chain of derived obligations #69793

Merged
bors merged 4 commits into
rust-lang:masterfrom
estebank:predicate-obligations-4
Apr 19, 2020
Merged

Maintain chain of derived obligations #69793
bors merged 4 commits into
rust-lang:masterfrom
estebank:predicate-obligations-4

Add label to item source of bound obligation

d9a5419
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs