Trait rustc_middle::ty::inherent::Predicate

source ·
pub trait Predicate<I>: Copy + Debug + Hash + Eq + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags + UpcastFrom<I, NormalizesTo<I>>
where I: Interner<Predicate = Self>,
{ // Required method fn is_coinductive(self, interner: I) -> bool; }

Required Methods§

source

fn is_coinductive(self, interner: I) -> bool

Object Safety§

This trait is not object safe.

Implementors§

source§

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