Auto merge of #52066 - benjaminp:obligation-select, r=Mark-Simulacrum

Remove obsolete documentation from FufillmentContext::select comment.

The `only_new_obligations` parameter has not existed since 43756934d2.
This commit is contained in:
bors 2018-07-09 06:38:47 +00:00
commit ec039c7cb1

View File

@ -87,8 +87,7 @@ impl<'a, 'gcx, 'tcx> FulfillmentContext<'tcx> {
}
}
/// Attempts to select obligations using `selcx`. If `only_new_obligations` is true, then it
/// only attempts to select obligations that haven't been seen before.
/// Attempts to select obligations using `selcx`.
fn select(&mut self, selcx: &mut SelectionContext<'a, 'gcx, 'tcx>)
-> Result<(),Vec<FulfillmentError<'tcx>>> {
debug!("select(obligation-forest-size={})", self.predicates.len());