]> git.lizzy.rs Git - rust.git/commit
Auto merge of #51613 - nnethercote:ob-forest-cleanup, r=nikomatsakis
authorbors <bors@rust-lang.org>
Tue, 26 Jun 2018 07:06:18 +0000 (07:06 +0000)
committerbors <bors@rust-lang.org>
Tue, 26 Jun 2018 07:06:18 +0000 (07:06 +0000)
commit773ce53ce7b3acb97cfbd3d189dc3fbf33ec05c6
tree12ce785408bf66a9d14210723a30eb4f62288f9c
parent7d2fa4a4d218b85c5af04981ea184cdb018cf215
parent70d22fa0519c8970cecbae400e7f6ebf69704d92
Auto merge of #51613 - nnethercote:ob-forest-cleanup, r=nikomatsakis

Obligation forest cleanup

While looking at this code I was scratching my head about whether a node could appear in both `parent` and `dependents`. Turns out it can, but it's not useful to do so, so this PR cleans things up so it's no longer possible.