-use rustc::infer::InferCtxt;
use rustc::mir::visit::TyContext;
use rustc::mir::visit::Visitor;
use rustc::mir::{
use rustc::ty::fold::TypeFoldable;
use rustc::ty::subst::SubstsRef;
use rustc::ty::{self, RegionVid, Ty};
+use rustc_infer::infer::InferCtxt;
use crate::borrow_check::{
borrow_set::BorrowSet, facts::AllFacts, location::LocationTable, nll::ToRegionVid,