bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

fulfillment typo

Browse source
This commit is contained in:
lcnr 2021-05-07 12:17:58 +02:00
parent 3c3cf08e39
commit e00146f504
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_typeck/src/check/fn_ctxt/_impl.rs
View file

@ -720,11 +720,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
pub(in super::super) fn select_obligations_where_possible( pub(in super::super) fn select_obligations_where_possible(
&self, &self,
fallback_has_occurred: bool, fallback_has_occurred: bool,
mutate_fullfillment_errors: impl Fn(&mut Vec<traits::FulfillmentError<'tcx>>), mutate_fulfillment_errors: impl Fn(&mut Vec<traits::FulfillmentError<'tcx>>),
) { ) {
let result = self.fulfillment_cx.borrow_mut().select_where_possible(self); let result = self.fulfillment_cx.borrow_mut().select_where_possible(self);
if let Err(mut errors) = result { if let Err(mut errors) = result {
mutate_fullfillment_errors(&mut errors); mutate_fulfillment_errors(&mut errors);
self.report_fulfillment_errors(&errors, self.inh.body_id, fallback_has_occurred); self.report_fulfillment_errors(&errors, self.inh.body_id, fallback_has_occurred);
} }
} }

2
compiler/rustc_typeck/src/check/fn_ctxt/checks.rs
View file

@ -986,7 +986,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
error.obligation.predicate.kind().skip_binder() error.obligation.predicate.kind().skip_binder()
{ {
// If any of the type arguments in this path segment caused the // If any of the type arguments in this path segment caused the
// `FullfillmentError`, point at its span (#61860). // `FulfillmentError`, point at its span (#61860).
for arg in path for arg in path
.segments .segments
.iter() .iter()