OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added override in renumberer for UserAssertTy.

Browse Source
This commit is contained in:
David Wood 2018-03-10 23:07:13 +00:00
parent 239b3ec473
commit ee4c7ac154
No known key found for this signature in database
GPG Key ID: 01760B4F9F53F154
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/librustc_mir/borrow_check/nll/renumber.rs
View File

@ -10,7 +10,7 @@
use rustc::ty::subst::Substs; use rustc::ty::subst::Substs;
use rustc::ty::{self, ClosureSubsts, GeneratorInterior, Ty, TypeFoldable}; 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::mir::visit::{MutVisitor, TyContext};
use rustc::infer::{InferCtxt, NLLRegionVariableOrigin}; 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); 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( fn visit_statement(
&mut self, &mut self,
block: BasicBlock, block: BasicBlock,