Trait rustc_type_ir::inherent::Predicate

source · 
pub trait Predicate<I: Interner<Predicate = Self>>: Copy + Debug + Hash + Eq + TypeSuperVisitable<I> + TypeSuperFoldable<I> + Flags {
    // 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§