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

Implementors