Changed location to at_self from at_successor.

davidtwco · davidtwco · commit 239b3ec47346 · 2018-03-22T21:11:01.000Z
diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs
@@ -765,7 +765,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {
                 let local_ty = mir.local_decls()[*local].ty;
                 debug!("check_stmt: user_assert_ty ty={:?} local_ty={:?}", ty, local_ty);
                 if let Err(terr) =
-                    self.eq_types(ty, local_ty, location.at_successor_within_block())
+                    self.eq_types(ty, local_ty, location.at_self())
                 {
                     span_mirbug!(
                         self,

Original file line number	Diff line number	Diff line change
`@@ -765,7 +765,7 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> {`
`765`	`765`	`let local_ty = mir.local_decls()[*local].ty;`
`766`	`766`	`debug!("check_stmt: user_assert_ty ty={:?} local_ty={:?}", ty, local_ty);`
`767`	`767`	`if let Err(terr) =`
`768`		`- self.eq_types(ty, local_ty, location.at_successor_within_block())`
	`768`	`+ self.eq_types(ty, local_ty, location.at_self())`
`769`	`769`	`{`
`770`	`770`	`span_mirbug!(`
`771`	`771`	`self,`