]> git.lizzy.rs Git - rust.git/commit
Auto merge of #51203 - nnethercote:obligations-2, r=michaelwoerister
authorbors <bors@rust-lang.org>
Thu, 31 May 2018 13:14:18 +0000 (13:14 +0000)
committerbors <bors@rust-lang.org>
Thu, 31 May 2018 13:14:18 +0000 (13:14 +0000)
commitae2f2991860f1d117414a61b0b0c862a8e2d3468
tree942a72dc80e9c14b3d01afdc0be23bb69ecbd33f
parent30cae5870907e7ae9e74a39eee5bcf55ee5d2809
parenta5ffcf6dd830367ccd9b0924c1a1f052330173a2
Auto merge of #51203 - nnethercote:obligations-2, r=michaelwoerister

Two minor `obligation_forest` tweaks.

Pretty minimal improvements, but improvements nonetheless.