Trait rustc_trait_selection::infer::InferCtxtExt[−][src]

pub trait InferCtxtExt<'tcx> {
    fn type_is_copy_modulo_regions(
        &self, 
        param_env: ParamEnv<'tcx>, 
        ty: Ty<'tcx>, 
        span: Span
    ) -> bool;

    fn partially_normalize_associated_types_in<T>(
        &self, 
        span: Span, 
        body_id: HirId, 
        param_env: ParamEnv<'tcx>, 
        value: T
    ) -> InferOk<'tcx, T>
    where
        T: TypeFoldable<'tcx>;
}

Required methods

fn type_is_copy_modulo_regions(
    &self,
    param_env: ParamEnv<'tcx>,
    ty: Ty<'tcx>,
    span: Span
) -> bool[src]

fn partially_normalize_associated_types_in<T>(
    &self,
    span: Span,
    body_id: HirId,
    param_env: ParamEnv<'tcx>,
    value: T
) -> InferOk<'tcx, T> where
    T: TypeFoldable<'tcx>, [src]

Loading content...

Implementors

impl<'cx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'tcx>[src]

fn partially_normalize_associated_types_in<T>(
    &self,
    span: Span,
    body_id: HirId,
    param_env: ParamEnv<'tcx>,
    value: T
) -> InferOk<'tcx, T> where
    T: TypeFoldable<'tcx>, [src]

Normalizes associated types in value, potentially returning new obligations that must further be processed.

Loading content...