Trait rustc_trait_selection::opaque_types::InferCtxtExt

source · [−]

pub trait InferCtxtExt<'tcx> {
    fn infer_opaque_definition_from_instantiation(
        &self, 
        opaque_type_key: OpaqueTypeKey<'tcx>, 
        instantiated_ty: OpaqueHiddenType<'tcx>, 
        origin: OpaqueTyOrigin
    ) -> Ty<'tcx>;
}

Required Methods

fn infer_opaque_definition_from_instantiation(
    &self,
    opaque_type_key: OpaqueTypeKey<'tcx>,
    instantiated_ty: OpaqueHiddenType<'tcx>,
    origin: OpaqueTyOrigin
) -> Ty<'tcx>

Implementors

impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx>