diff options
| author | David Wood <david@davidtw.co> | 2018-03-10 23:07:13 +0000 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2018-03-22 21:11:01 +0000 |
| commit | ee4c7ac154c8f58ff6fa07416bf74ed3aa78ae0b (patch) | |
| tree | 4ba4c8657b500f4098c01465f7adfa1a61de0a9c /src | |
| parent | 239b3ec47346e1c5cf09135a51ff791196e7c871 (diff) | |
| download | rust-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.rs | 7 |
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, |
