Trait rustc_infer::infer::canonical::ir::inherent::Predicate

source · 
pub trait Predicate<I>: Copy + Debug + Hash + Eq + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags
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.

Implementations on Foreign Types§

source§

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

source§

fn is_coinductive(self, interner: TyCtxt<'tcx>) -> bool

Implementors§