rustc: rename mir::LocalDecl's syntactic_source_info to source_info.

Author: eddyb

src/librustc/ich/impls_mir.rs

@@ -25,7 +25,7 @@ impl_stable_hash_for!(struct mir::LocalDecl<'tcx> {
     mutability,
     ty,
     name,
-    syntactic_source_info,
+    source_info,
     visibility_scope,
     internal,
     is_user_variable

src/librustc/mir/mod.rs

@@ -556,7 +556,7 @@ pub struct LocalDecl<'tcx> {
     /// `drop(x)`, we want it to refer to `x: u32`.
     ///
     /// To allow both uses to work, we need to have more than a single scope
-    /// for a local. We have the `syntactic_source_info.scope` represent the
+    /// for a local. We have the `source_info.scope` represent the
     /// "syntactic" lint scope (with a variable being under its let
     /// block) while the `visibility_scope` represents the "local variable"
     /// scope (where the "rest" of a block is under all prior let-statements).
@@ -570,10 +570,10 @@ pub struct LocalDecl<'tcx> {
     ///  │ │{ #[allow(unused_mut] } // this is actually split into 2 scopes
     ///  │ │                        // in practice because I'm lazy.
     ///  │ │
-    ///  │ │← x.syntactic_source_info.scope
+    ///  │ │← x.source_info.scope
     ///  │ │← `x.parse().unwrap()`
     ///  │ │
-    ///  │ │ │← y.syntactic_source_info.scope
+    ///  │ │ │← y.source_info.scope
     ///  │ │
     ///  │ │ │{ let y: u32 }
     ///  │ │ │
@@ -584,10 +584,10 @@ pub struct LocalDecl<'tcx> {
     ///  │ │← x.visibility_scope
     ///  │ │← `drop(x)` // this accesses `x: u32`
     /// ```
-    pub syntactic_source_info: SourceInfo,
+    pub source_info: SourceInfo,
 
     /// Source scope within which the local is visible (for debuginfo)
-    /// (see `syntactic_source_info` for more details).
+    /// (see `source_info` for more details).
     pub visibility_scope: SourceScope,
 }
 
@@ -599,7 +599,7 @@ impl<'tcx> LocalDecl<'tcx> {
             mutability: Mutability::Mut,
             ty,
             name: None,
-            syntactic_source_info: SourceInfo {
+            source_info: SourceInfo {
                 span,
                 scope: OUTERMOST_SOURCE_SCOPE
             },
@@ -616,7 +616,7 @@ impl<'tcx> LocalDecl<'tcx> {
             mutability: Mutability::Mut,
             ty,
             name: None,
-            syntactic_source_info: SourceInfo {
+            source_info: SourceInfo {
                 span,
                 scope: OUTERMOST_SOURCE_SCOPE
             },
@@ -634,7 +634,7 @@ impl<'tcx> LocalDecl<'tcx> {
         LocalDecl {
             mutability: Mutability::Mut,
             ty: return_ty,
-            syntactic_source_info: SourceInfo {
+            source_info: SourceInfo {
                 span,
                 scope: OUTERMOST_SOURCE_SCOPE
             },
@@ -2191,7 +2191,7 @@ BraceStructTypeFoldableImpl! {
         internal,
         ty,
         name,
-        syntactic_source_info,
+        source_info,
         visibility_scope,
     }
 }

src/librustc/mir/visit.rs

@@ -714,17 +714,17 @@ macro_rules! make_mir_visitor {
                     mutability: _,
                     ref $($mutability)* ty,
                     name: _,
-                    ref $($mutability)* syntactic_source_info,
+                    ref $($mutability)* source_info,
                     ref $($mutability)* visibility_scope,
                     internal: _,
                     is_user_variable: _,
                 } = *local_decl;
 
                 self.visit_ty(ty, TyContext::LocalDecl {
                     local,
-                    source_info: *syntactic_source_info,
+                    source_info: *source_info,
                 });
-                self.visit_source_info(syntactic_source_info);
+                self.visit_source_info(source_info);
                 self.visit_source_scope(visibility_scope);
             }
 

src/librustc_codegen_llvm/mir/mod.rs

@@ -277,7 +277,7 @@ pub fn codegen_mir<'a, 'tcx: 'a>(
                 let place = PlaceRef::alloca(&bx, layout, &name.as_str());
                 if dbg {
                     let (scope, span) = fx.debug_loc(mir::SourceInfo {
-                        span: decl.syntactic_source_info.span,
+                        span: decl.source_info.span,
                         scope: decl.visibility_scope,
                     });
                     declare_local(&bx, &fx.debug_context, name, layout.ty, scope,

src/librustc_mir/borrow_check/error_reporting.rs

@@ -398,7 +398,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
 
         let borrow_span = self.mir.source_info(borrow.reserve_location).span;
         let proper_span = match *root_place {
-            Place::Local(local) => self.mir.local_decls[local].syntactic_source_info.span,
+            Place::Local(local) => self.mir.local_decls[local].source_info.span,
             _ => drop_span,
         };
 

src/librustc_mir/borrow_check/mod.rs

@@ -306,12 +306,12 @@ fn do_mir_borrowck<'a, 'gcx, 'tcx>(
                 None => continue,
             }
 
-            let span = local_decl.syntactic_source_info.span;
+            let span = local_decl.source_info.span;
             let mut_span = tcx.sess.codemap().span_until_non_whitespace(span);
 
             tcx.struct_span_lint_node(
                 UNUSED_MUT,
-                vsi[local_decl.syntactic_source_info.scope].lint_root,
+                vsi[local_decl.source_info.scope].lint_root,
                 span,
                 "variable does not need to be mutable"
             )

src/librustc_mir/borrow_check/nll/explain_borrow/mod.rs

@@ -67,7 +67,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
                             }
                             None => {
                                 err.span_label(
-                                    mir.local_decls[local].syntactic_source_info.span,
+                                    mir.local_decls[local].source_info.span,
                                     "borrow may end up in a temporary, created here",
                                 );
 

src/librustc_mir/borrow_check/nll/type_check/mod.rs

@@ -1201,7 +1201,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
             LocalKind::Var | LocalKind::Temp => {}
         }
 
-        let span = local_decl.syntactic_source_info.span;
+        let span = local_decl.source_info.span;
         let ty = local_decl.ty;
 
         // Erase the regions from `ty` to get a global type.  The

src/librustc_mir/build/expr/into.rs

@@ -246,7 +246,7 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
                         mutability: Mutability::Mut,
                         ty: ptr_ty,
                         name: None,
-                        syntactic_source_info: source_info,
+                        source_info,
                         visibility_scope: source_info.scope,
                         internal: true,
                         is_user_variable: false

src/librustc_mir/build/matches/mod.rs

@@ -306,26 +306,26 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
                             -> Option<SourceScope> {
         assert!(!(visibility_scope.is_some() && lint_level.is_explicit()),
                 "can't have both a visibility and a lint scope at the same time");
-        let mut syntactic_scope = self.source_scope;
+        let mut scope = self.source_scope;
         self.visit_bindings(pattern, &mut |this, mutability, name, var, span, ty| {
             if visibility_scope.is_none() {
                 visibility_scope = Some(this.new_source_scope(scope_span,
                                                            LintLevel::Inherited,
                                                            None));
                 // If we have lints, create a new source scope
                 // that marks the lints for the locals. See the comment
-                // on the `syntactic_source_info` field for why this is needed.
+                // on the `source_info` field for why this is needed.
                 if lint_level.is_explicit() {
-                    syntactic_scope =
+                    scope =
                         this.new_source_scope(scope_span, lint_level, None);
                 }
             }
-            let syntactic_source_info = SourceInfo {
+            let source_info = SourceInfo {
                 span,
-                scope: syntactic_scope,
+                scope,
             };
             let visibility_scope = visibility_scope.unwrap();
-            this.declare_binding(syntactic_source_info, visibility_scope, mutability, name, var,
+            this.declare_binding(source_info, visibility_scope, mutability, name, var,
                                  ty, has_guard);
         });
         visibility_scope
@@ -1114,7 +1114,7 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
     /// `&T`. The second local is a binding for occurrences of `var`
     /// in the arm body, which will have type `T`.
     fn declare_binding(&mut self,
-                       syntactic_source_info: SourceInfo,
+                       source_info: SourceInfo,
                        visibility_scope: SourceScope,
                        mutability: Mutability,
                        name: Name,
@@ -1123,15 +1123,15 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
                        has_guard: ArmHasGuard)
     {
         debug!("declare_binding(var_id={:?}, name={:?}, var_ty={:?}, visibility_scope={:?}, \
-                syntactic_source_info={:?})",
-               var_id, name, var_ty, visibility_scope, syntactic_source_info);
+                source_info={:?})",
+               var_id, name, var_ty, visibility_scope, source_info);
 
         let tcx = self.hir.tcx();
         let local = LocalDecl::<'tcx> {
             mutability,
             ty: var_ty.clone(),
             name: Some(name),
-            syntactic_source_info,
+            source_info,
             visibility_scope,
             internal: false,
             is_user_variable: true,
@@ -1143,7 +1143,7 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
                 mutability,
                 ty: tcx.mk_imm_ref(tcx.types.re_empty, var_ty),
                 name: Some(name),
-                syntactic_source_info,
+                source_info,
                 visibility_scope,
                 internal: false,
                 is_user_variable: true,