bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Extract deref coercion explanation into method

Browse source
This commit is contained in:
1000teslas 2021-02-22 19:08:44 +11:00
parent 99f4573264
commit 1847a6c0c1
1 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
compiler/rustc_mir/src/borrow_check/diagnostics/conflict_errors.rs
View file

@ -1542,8 +1542,13 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
None, None,
); );
self.explain_deref_coercion(loan, &mut err);
err.buffer(&mut self.errors_buffer);
}
fn explain_deref_coercion(&mut self, loan: &BorrowData<'tcx>, err: &mut DiagnosticBuilder<'_>) {
let tcx = self.infcx.tcx; let tcx = self.infcx.tcx;
// point out implicit deref coercion
if let ( if let (
Some(Terminator { kind: TerminatorKind::Call { from_hir_call: false, .. }, .. }), Some(Terminator { kind: TerminatorKind::Call { from_hir_call: false, .. }, .. }),
Some((method_did, method_substs)), Some((method_did, method_substs)),
@ -1572,8 +1577,6 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
} }
} }
} }
err.buffer(&mut self.errors_buffer);
} }
/// Reports an illegal reassignment; for example, an assignment to /// Reports an illegal reassignment; for example, an assignment to