Make type_implements_trait not a query

1 files changed, 0 insertions, 19 deletions

diff --git a/compiler/rustc_middle/src/query/mod.rs b/compiler/rustc_middle/src/query/mod.rs
index 6f0f180b427..4d643c09e54 100644
--- a/compiler/rustc_middle/src/query/mod.rs
+++ b/compiler/rustc_middle/src/query/mod.rs
@@ -1559,25 +1559,6 @@ rustc_queries! {
         desc { "evaluating trait selection obligation `{}`", goal.value }
     }
 
-    /// Evaluates whether the given type implements the given trait
-    /// in the given environment.
-    ///
-    /// The inputs are:
-    ///
-    /// - the def-id of the trait
-    /// - the self type
-    /// - the *other* type parameters of the trait, excluding the self-type
-    /// - the parameter environment
-    ///
-    /// FIXME. If the type, trait, or environment has inference variables,
-    /// this yields `EvaluatedToUnknown`. It should be refactored
-    /// to use canonicalization, really.
-    query type_implements_trait(
-        key: (DefId, Ty<'tcx>, SubstsRef<'tcx>, ty::ParamEnv<'tcx>, )
-    ) -> traits::EvaluationResult {
-        desc { "evaluating `type_implements_trait` `{:?}`", key }
-    }
-
     /// Do not call this query directly: part of the `Eq` type-op
     query type_op_ascribe_user_type(
         goal: CanonicalTypeOpAscribeUserTypeGoal<'tcx>