From 239b3ec47346e1c5cf09135a51ff791196e7c871 Mon Sep 17 00:00:00 2001
From: David Wood <david@davidtw.co>
Date: Fri, 2 Mar 2018 14:33:21 +0000
Subject: [PATCH] Changed location to at_self from at_successor.

---
 src/librustc_mir/borrow_check/nll/type_check/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs
index 147952d86719..2c06c93cd9d2 100644
--- 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,