rustc: use syntactic (instead of visibility) source info where appropriate.

Author: eddyb

src/librustc/mir/visit.rs

@@ -722,7 +722,7 @@ macro_rules! make_mir_visitor {
 
                 self.visit_ty(ty, TyContext::LocalDecl {
                     local,
-                    source_info: *visibility_source_info,
+                    source_info: *syntactic_source_info,
                 });
                 self.visit_source_info(syntactic_source_info);
                 self.visit_source_info(visibility_source_info);

src/librustc_mir/transform/check_unsafety.rs

@@ -166,7 +166,7 @@ impl<'a, 'tcx> Visitor<'tcx> for UnsafetyChecker<'a, 'tcx> {
                         // Internal locals are used in the `move_val_init` desugaring.
                         // We want to check unsafety against the source info of the
                         // desugaring, rather than the source info of the RHS.
-                        self.source_info = self.mir.local_decls[local].visibility_source_info;
+                        self.source_info = self.mir.local_decls[local].syntactic_source_info;
                     }
                 }
                 let base_ty = base.ty(self.mir, self.tcx).to_ty(self.tcx);

src/librustc_mir/util/pretty.rs

@@ -467,8 +467,8 @@ fn write_scope_tree(
         // User variable types (including the user's name in a comment).
         for local in mir.vars_iter() {
             let var = &mir.local_decls[local];
-            let (name, source_info) = if var.visibility_source_info.scope == child {
-                (var.name.unwrap(), var.visibility_source_info)
+            let (name, source_info) = if var.syntactic_source_info.scope == child {
+                (var.name.unwrap(), var.syntactic_source_info)
             } else {
                 // Not a variable or not declared in this scope.
                 continue;

src/test/mir-opt/box_expr.rs

@@ -33,9 +33,10 @@ impl Drop for S {
 // START rustc.main.ElaborateDrops.before.mir
 //     let mut _0: ();
 //     scope 1 {
+//     }
+//     scope 2 {
 //         let _1: std::boxed::Box<S>;
 //     }
-//     ...
 //     let mut _2: std::boxed::Box<S>;
 //     let mut _3: ();
 //     let mut _4: std::boxed::Box<S>;

src/test/mir-opt/end_region_1.rs

@@ -22,10 +22,10 @@ fn main() {
 // START rustc.main.SimplifyCfg-qualify-consts.after.mir
 //     let mut _0: ();
 //     ...
-//     let _1: i32;
-//     ...
 //     let _2: &'10_1rs i32;
 //     ...
+//     let _1: i32;
+//     ...
 //     bb0: {
 //         StorageLive(_1);
 //         _1 = const 3i32;

src/test/mir-opt/end_region_2.rs

@@ -27,11 +27,11 @@ fn main() {
 // START rustc.main.SimplifyCfg-qualify-consts.after.mir
 //     let mut _0: ();
 //     ...
-//     let _2: bool;
+//     let _7: &'23_3rs bool;
 //     ...
 //     let _3: &'23_1rs bool;
 //     ...
-//     let _7: &'23_3rs bool;
+//     let _2: bool;
 //     ...
 //     let mut _4: ();
 //     let mut _5: bool;

src/test/mir-opt/end_region_3.rs

@@ -28,11 +28,11 @@ fn main() {
 // START rustc.main.SimplifyCfg-qualify-consts.after.mir
 //     let mut _0: ();
 //     ...
-//     let mut _1: bool;
+//     let _7: &'26_3rs bool;
 //     ...
 //     let _3: &'26_1rs bool;
 //     ...
-//     let _7: &'26_3rs bool;
+//     let mut _1: bool;
 //     ...
 //     let mut _2: ();
 //     let mut _4: ();

src/test/mir-opt/end_region_4.rs

@@ -32,13 +32,13 @@ fn foo(i: i32) {
 // START rustc.main.SimplifyCfg-qualify-consts.after.mir
 //     let mut _0: ();
 //     ...
-//     let _1: D;
-//     ...
-//     let _2: i32;
+//     let _6: &'26_4rs i32;
 //     ...
 //     let _3: &'26_2rs i32;
 //     ...
-//     let _6: &'26_4rs i32;
+//     let _2: i32;
+//     ...
+//     let _1: D;
 //     ...
 //     let mut _4: ();
 //     let mut _5: i32;

src/test/mir-opt/end_region_8.rs

@@ -31,10 +31,10 @@ fn foo<F>(f: F) where F: FnOnce() -> i32 {
 // fn main() -> () {
 //    let mut _0: ();
 //    ...
-//    let _1: D;
-//    ...
 //    let _2: &'21_1rs D;
 //    ...
+//    let _1: D;
+//    ...
 //    let mut _3: ();
 //    let mut _4: [closure@NodeId(22) r:&'19s D];
 //    let mut _5: &'21_1rs D;

src/test/mir-opt/end_region_9.rs

@@ -41,11 +41,11 @@ fn main() {
 // fn main() -> () {
 //     let mut _0: ();
 //     ...
-//     let mut _1: bool;
+//     let mut _4: &'33_0rs i32;
 //     ...
 //     let _2: i32;
 //     ...
-//     let mut _4: &'33_0rs i32;
+//     let mut _1: bool;
 //     ...
 //     let mut _3: ();
 //     let mut _5: !;