Trait OutputAs 

pub trait OutputAs<I: Interner> {
    type Output;

    // Required method
    fn construct_from_trait_clause(
        tc: Binder<I, TraitClause<I>>,
        cx: I,
    ) -> Self::Output;
}

Required Associated Types

type Output

Required Methods

fn construct_from_trait_clause( tc: Binder<I, TraitClause<I>>, cx: I, ) -> Self::Output

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<I: Interner> OutputAs<I> for OutputAsInternedClause

type Output = <I as Interner>::Clause

impl<I: Interner> OutputAs<I> for OutputAsTraitClause

type Output = Binder<I, TraitClause<I>>