Searched defs:PredicateKind (Results 1 – 7 of 7) sorted by relevance
35 ) -> &mut FxHashMap<<Self::I as Interner>::PredicateKind, usize>; in predicate_shorthands()
61 type PredicateKind: Clone + Debug + Hash + PartialEq + Eq; typedef
48 impl<'tcx, E: TyEncoder<I = TyCtxt<'tcx>>> EncodableWithShorthand<E> for ty::PredicateKind<'tcx> { implementation
197 impl<'tcx> fmt::Debug for ty::PredicateKind<'tcx> { implementation
671 pub enum PredicateKind<'tcx> { enum1253 impl<'tcx> ToPredicate<'tcx> for PredicateKind<'tcx> { implementation
107 type PredicateKind = ty::PredicateKind<'tcx>; typedef
552 enum PredicateKind { enum