Type Definition rustc_middle::ty::query::query_stored::type_implements_trait

type type_implements_trait<'tcx> = EvaluationResult;