]> git.lizzy.rs Git - rust.git/blobdiff - src/librustc_traits/evaluate_obligation.rs
Rollup merge of #68705 - BijanT:ll_remove, r=Mark-Simulacrum
[rust.git] / src / librustc_traits / evaluate_obligation.rs
index e8d90136ecc91bc49afbf44b2ea17d9e8bc59852..4cf5b66b3cbeb67789331dcdea41edebc2ed11a0 100644 (file)
@@ -1,10 +1,11 @@
-use rustc::traits::query::CanonicalPredicateGoal;
-use rustc::traits::{
-    EvaluationResult, Obligation, ObligationCause, OverflowError, SelectionContext, TraitQueryMode,
-};
 use rustc::ty::query::Providers;
 use rustc::ty::{ParamEnvAnd, TyCtxt};
-use syntax::source_map::DUMMY_SP;
+use rustc_infer::infer::TyCtxtInferExt;
+use rustc_infer::traits::query::CanonicalPredicateGoal;
+use rustc_infer::traits::{
+    EvaluationResult, Obligation, ObligationCause, OverflowError, SelectionContext, TraitQueryMode,
+};
+use rustc_span::source_map::DUMMY_SP;
 
 crate fn provide(p: &mut Providers<'_>) {
     *p = Providers { evaluate_obligation, ..*p };