Trait rustc_middle::ty::inherent::Predicate

pub trait Predicate<I>: Copy + Debug + Hash + Eq + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags
where
    I: Interner<Predicate = Self>,
{ }

Object Safety

This trait is not object safe.

Implementors

impl<'tcx> Predicate<TyCtxt<'tcx>> for Predicate<'tcx>