Trait rustc_trait_selection::infer::canonical::ir::inherent::Clause

pub trait Clause<I>: Copy + Debug + Hash + Eq + TypeFoldable<I> + UpcastFrom<I, TraitRef<I>> + UpcastFrom<I, Binder<I, TraitRef<I>>> + UpcastFrom<I, ProjectionPredicate<I>> + UpcastFrom<I, Binder<I, ProjectionPredicate<I>>> + IntoKind<Kind = Binder<I, ClauseKind<I>>>
where
    I: Interner<Clause = Self>,
{
    // Provided methods
    fn as_trait_clause(self) -> Option<Binder<I, TraitPredicate<I>>> { ... }
    fn as_projection_clause(self) -> Option<Binder<I, ProjectionPredicate<I>>> { ... }
}

Provided Methods

fn as_trait_clause(self) -> Option<Binder<I, TraitPredicate<I>>>

fn as_projection_clause(self) -> Option<Binder<I, ProjectionPredicate<I>>>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> Clause<TyCtxt<'tcx>> for Clause<'tcx>

Implementors