From f174cc8a4c5dd4038f8c83389b7834d30819a9f1 Mon Sep 17 00:00:00 2001 From: David Renshaw Date: Sat, 10 Jun 2017 20:39:48 -0400 Subject: [PATCH] tcx.infer_ctxt() no longer takes an argument --- src/eval_context.rs | 2 +- src/traits.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/eval_context.rs b/src/eval_context.rs index e358b98911a..6bb76403565 100644 --- a/src/eval_context.rs +++ b/src/eval_context.rs @@ -2032,7 +2032,7 @@ fn fulfill_obligation<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, // Do the initial selection for the obligation. This yields the // shallow result we are looking for -- that is, what specific impl. - tcx.infer_ctxt(()).enter(|infcx| { + tcx.infer_ctxt().enter(|infcx| { let mut selcx = traits::SelectionContext::new(&infcx); let obligation_cause = traits::ObligationCause::misc(span, diff --git a/src/traits.rs b/src/traits.rs index 322ebc1981b..9c4e60a299f 100644 --- a/src/traits.rs +++ b/src/traits.rs @@ -16,7 +16,7 @@ impl<'a, 'tcx> EvalContext<'a, 'tcx> { pub(crate) fn fulfill_obligation(&self, trait_ref: ty::PolyTraitRef<'tcx>) -> traits::Vtable<'tcx, ()> { // Do the initial selection for the obligation. This yields the shallow result we are // looking for -- that is, what specific impl. - self.tcx.infer_ctxt(()).enter(|infcx| { + self.tcx.infer_ctxt().enter(|infcx| { let mut selcx = traits::SelectionContext::new(&infcx); let obligation = traits::Obligation::new(