Maintain chain of derived obligations #69793

Merged

bors merged 4 commits intorust-lang:masterfrom estebank:predicate-obligations-4

Apr 19, 2020

+287-313

Commits on Apr 18, 2020

Commits on Apr 19, 2020

Add label to item source of bound obligation
estebank
committed