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,