diff options
Diffstat (limited to 'compiler/rustc_middle/src/query/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/query/mod.rs | 19 |
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 c4b990faed0..9a2f1149316 100644 --- a/compiler/rustc_middle/src/query/mod.rs +++ b/compiler/rustc_middle/src/query/mod.rs @@ -1555,25 +1555,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> |