diff options
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/renumber.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/librustc_mir/borrow_check/nll/renumber.rs b/src/librustc_mir/borrow_check/nll/renumber.rs index 5267941c8a8..38a14be8eb2 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"); } |