squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

No longer visiting user_assert_ty statements in constraint generation.

Browse source
This commit is contained in:
David Wood 2018-03-13 14:52:23 +00:00
parent d4b9a7874b
commit 5d2a60c57e
No known key found for this signature in database
GPG key ID: 01760B4F9F53F154
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/librustc_mir/borrow_check/nll/constraint_generation.rs
View file

@ -12,10 +12,10 @@ use rustc::hir;
use rustc::mir::{BasicBlock, BasicBlockData, Location, Place, Mir, Rvalue};
use rustc::mir::visit::Visitor;
use rustc::mir::Place::Projection;
use rustc::mir::{PlaceProjection, ProjectionElem};
use rustc::mir::{Local, PlaceProjection, ProjectionElem};
use rustc::mir::visit::TyContext;
use rustc::infer::InferCtxt;
use rustc::ty::{self, ClosureSubsts};
use rustc::ty::{self, ClosureSubsts, Ty};
use rustc::ty::subst::Substs;
use rustc::ty::fold::TypeFoldable;
@ -106,6 +106,8 @@ impl<'cg, 'cx, 'gcx, 'tcx> Visitor<'tcx> for ConstraintGeneration<'cg, 'cx, 'gcx
self.super_rvalue(rvalue, location);
}
fn visit_user_assert_ty(&mut self, _ty: &Ty<'tcx>, _local: &Local, _location: Location) { }
}
impl<'cx, 'cg, 'gcx, 'tcx> ConstraintGeneration<'cx, 'cg, 'gcx, 'tcx> {