about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorDavid Wood <david@davidtw.co>2018-03-10 23:07:13 +0000
committerDavid Wood <david@davidtw.co>2018-03-22 21:11:01 +0000
commitee4c7ac154c8f58ff6fa07416bf74ed3aa78ae0b (patch)
tree4ba4c8657b500f4098c01465f7adfa1a61de0a9c /src
parent239b3ec47346e1c5cf09135a51ff791196e7c871 (diff)
downloadrust-ee4c7ac154c8f58ff6fa07416bf74ed3aa78ae0b.tar.gz
rust-ee4c7ac154c8f58ff6fa07416bf74ed3aa78ae0b.zip
Added override in renumberer for UserAssertTy.
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/borrow_check/nll/renumber.rs7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/librustc_mir/borrow_check/nll/renumber.rs b/src/librustc_mir/borrow_check/nll/renumber.rs
index c54acda8a62..5267941c8a8 100644
--- a/src/librustc_mir/borrow_check/nll/renumber.rs
+++ b/src/librustc_mir/borrow_check/nll/renumber.rs
@@ -10,7 +10,7 @@
 
 use rustc::ty::subst::Substs;
 use rustc::ty::{self, ClosureSubsts, GeneratorInterior, Ty, TypeFoldable};
-use rustc::mir::{BasicBlock, Location, Mir, Statement, StatementKind};
+use rustc::mir::{BasicBlock, Local, Location, Mir, Statement, StatementKind};
 use rustc::mir::visit::{MutVisitor, TyContext};
 use rustc::infer::{InferCtxt, NLLRegionVariableOrigin};
 
@@ -118,6 +118,11 @@ impl<'a, 'gcx, 'tcx> MutVisitor<'tcx> for NLLVisitor<'a, 'gcx, 'tcx> {
         debug!("visit_closure_substs: substs={:?}", substs);
     }
 
+    fn visit_user_assert_ty(&mut self, _ty: &mut Ty<'tcx>, _local: &mut Local,
+                            _location: Location) {
+        debug!("visit_user_assert_ty: skipping renumber");
+    }
+
     fn visit_statement(
         &mut self,
         block: BasicBlock,