diff --git a/src/librustc/ich/impls_mir.rs b/src/librustc/ich/impls_mir.rs index f43ac7ad0dd5a4afd5afab40ee23b21e4889cf72..6217f6c9fdd33d9a7ebb06bbbd1b02e1cc1a8624 100644 --- a/src/librustc/ich/impls_mir.rs +++ b/src/librustc/ich/impls_mir.rs @@ -30,7 +30,7 @@ internal, is_user_variable }); -impl_stable_hash_for!(struct mir::UpvarDecl { debug_name, by_ref, mutability }); +impl_stable_hash_for!(struct mir::UpvarDecl { debug_name, var_hir_id, by_ref, mutability }); impl_stable_hash_for!(struct mir::BasicBlockData<'tcx> { statements, terminator, is_cleanup }); impl_stable_hash_for!(struct mir::UnsafetyViolation { source_info, description, kind }); impl_stable_hash_for!(struct mir::UnsafetyCheckResult { violations, unsafe_blocks }); diff --git a/src/librustc/mir/mod.rs b/src/librustc/mir/mod.rs index dca0d4f442a4cbf0971e759cc30fdddfdc7c69a7..78c4966c6f9ed669961fe0911365acb87c8f6636 100644 --- a/src/librustc/mir/mod.rs +++ b/src/librustc/mir/mod.rs @@ -15,7 +15,7 @@ use graphviz::IntoCow; use hir::def::CtorKind; use hir::def_id::DefId; -use hir::{self, InlineAsm}; +use hir::{self, HirId, InlineAsm}; use middle::region; use mir::interpret::{EvalErrorKind, Scalar, Value}; use mir::visit::MirVisitable; @@ -785,6 +785,9 @@ pub fn new_return_place(return_ty: Ty, span: Span) -> LocalDecl { pub struct UpvarDecl { pub debug_name: Name, + /// `HirId` of the captured variable + pub var_hir_id: ClearCrossCrate, + /// If true, the capture is behind a reference. pub by_ref: bool, diff --git a/src/librustc_mir/build/mod.rs b/src/librustc_mir/build/mod.rs index 4db5c8e9278e5e19e0c7c52385e202bf0edb0642..2b18771a34f028607df80519e10bf1229cd4eb5b 100644 --- a/src/librustc_mir/build/mod.rs +++ b/src/librustc_mir/build/mod.rs @@ -534,6 +534,7 @@ fn construct_fn<'a, 'gcx, 'tcx, A>(hir: Cx<'a, 'gcx, 'tcx>, }; let mut decl = UpvarDecl { debug_name: keywords::Invalid.name(), + var_hir_id: ClearCrossCrate::Set(var_hir_id), by_ref, mutability: Mutability::Not, };