From 35c37a3e380de02c7c8d234467bfc71b87dd1e85 Mon Sep 17 00:00:00 2001 From: dylan_DPC Date: Fri, 14 Dec 2018 16:13:05 +0530 Subject: [PATCH] add condition to check if the value is moved --- .../borrow_check/error_reporting.rs | 24 +++++++++++++------ 1 file changed, 17 insertions(+), 7 deletions(-) diff --git a/src/librustc_mir/borrow_check/error_reporting.rs b/src/librustc_mir/borrow_check/error_reporting.rs index 598c2f810beb7..811af026d6549 100644 --- a/src/librustc_mir/borrow_check/error_reporting.rs +++ b/src/librustc_mir/borrow_check/error_reporting.rs @@ -182,13 +182,23 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> { ); if !is_loop_move { - err.span_label( - span, - format!( - "value {} here after move", - desired_action.as_verb_in_past_tense() - ), - ); + if used_place.is_prefix_of(&moved_place) { + err.span_label( + span, + format!( + "value {} here after partial move", + desired_action.as_verb_in_past_tense() + ), + ); + } else { + err.span_label( + span, + format!( + "value {} here after move", + desired_action.as_verb_in_past_tense() + ), + ); + } } if let Some(ty) = self.retrieve_type_for_place(used_place) {