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

pub trait Normalizable<'tcx>: Debug + TypeFoldable<TyCtxt<'tcx>> + Lift<'tcx> + Copy {
    // Required method
    fn type_op_method(
        tcx: TyCtxt<'tcx>,
        canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>>
    ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>;
}

Required Methods

fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>> ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'tcx> Normalizable<'tcx> for Clause<'tcx>

fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>> ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>

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

fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>> ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>

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

fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>> ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>

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

fn type_op_method( tcx: TyCtxt<'tcx>, canonicalized: Canonical<'tcx, ParamEnvAnd<'tcx, Normalize<Self>>> ) -> Result<CanonicalQueryResponse<'tcx, Self>, NoSolution>

Implementors