From d4b9a7874bcb46cd222f114a26fd9babf59b32dd Mon Sep 17 00:00:00 2001 From: David Wood Date: Tue, 13 Mar 2018 14:16:53 +0000 Subject: [PATCH] Added comment in renumberer about UserAssertTy. --- src/librustc_mir/borrow_check/nll/renumber.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/librustc_mir/borrow_check/nll/renumber.rs b/src/librustc_mir/borrow_check/nll/renumber.rs index 5267941c8a851..38a14be8eb262 100644 --- a/src/librustc_mir/borrow_check/nll/renumber.rs +++ b/src/librustc_mir/borrow_check/nll/renumber.rs @@ -120,6 +120,9 @@ impl<'a, 'gcx, 'tcx> MutVisitor<'tcx> for NLLVisitor<'a, 'gcx, 'tcx> { fn visit_user_assert_ty(&mut self, _ty: &mut Ty<'tcx>, _local: &mut Local, _location: Location) { + // User-assert-ty statements represent types that the user added explicitly. + // We don't want to erase the regions from these types: rather, we want to + // add them as constraints at type-check time. debug!("visit_user_assert_ty: skipping renumber"); }