[−][src]Trait rustc_trait_selection::traits::query::type_op::normalize::Normalizable

pub trait Normalizable<'tcx>: Debug + TypeFoldable<'tcx> + Lift<'tcx> + Copy {
    pub fn type_op_method(
        tcx: TyCtxt<'tcx>, 
        canonicalized: Canonicalized<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>>
    ) -> Fallible<CanonicalizedQueryResponse<'tcx, Self>>;
}

Required methods

pub fn type_op_method(
    tcx: TyCtxt<'tcx>,
    canonicalized: Canonicalized<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>>
) -> Fallible<CanonicalizedQueryResponse<'tcx, Self>>[src]

Loading content...

Implementations on Foreign Types

impl<'tcx> Normalizable<'tcx> for Ty<'tcx>[src]

impl<'tcx> Normalizable<'tcx> for Predicate<'tcx>[src]

impl<'tcx> Normalizable<'tcx> for PolyFnSig<'tcx>[src]

impl<'tcx> Normalizable<'tcx> for FnSig<'tcx>[src]

Loading content...

Implementors

Loading content...