Trait Predicate 

pub trait Predicate<I>:
    Copy
    + Debug
    + Hash
    + Eq
    + TypeSuperVisitable<I>
    + TypeSuperFoldable<I>
    + Flags
    + UpcastFrom<I, PredicateKind<I>>
    + UpcastFrom<I, Binder<I, PredicateKind<I>>>
    + UpcastFrom<I, ClauseKind<I>>
    + UpcastFrom<I, Binder<I, ClauseKind<I>>>
    + UpcastFrom<I, <I as Interner>::Clause>
    + UpcastFrom<I, NormalizesTo<I>>
    + UpcastFrom<I, TraitRef<I>>
    + UpcastFrom<I, Binder<I, TraitRef<I>>>
    + UpcastFrom<I, TraitPredicate<I>>
    + UpcastFrom<I, OutlivesPredicate<I, <I as Interner>::Ty>>
    + UpcastFrom<I, OutlivesPredicate<I, <I as Interner>::Region>>
    + IntoKind<Kind = Binder<I, PredicateKind<I>>>
    + Elaboratable<I>
where
    I: Interner<Predicate = Self>,
{
    // Required methods
    fn as_clause(self) -> Option<<I as Interner>::Clause>;
    fn allow_normalization(self) -> bool;

    // Provided method
    fn as_normalizes_to(self) -> Option<Binder<I, NormalizesTo<I>>> { ... }
}

Required Methods

fn as_clause(self) -> Option<<I as Interner>::Clause>

fn allow_normalization(self) -> bool

Provided Methods

fn as_normalizes_to(self) -> Option<Binder<I, NormalizesTo<I>>>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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

fn as_clause(self) -> Option<Clause<'tcx>>

fn allow_normalization(self) -> bool

Implementors