Trait rustc_trait_selection::traits::query::type_op::normalize::Normalizable

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

Required Methods

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

Implementations on Foreign Types

impl<'tcx> Normalizable<'tcx> for Ty<'tcx>

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

impl<'tcx> Normalizable<'tcx> for Predicate<'tcx>

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

impl<'tcx> Normalizable<'tcx> for PolyFnSig<'tcx>

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

impl<'tcx> Normalizable<'tcx> for FnSig<'tcx>

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

Implementors