Trait rustc_trait_selection::opaque_types::InferCtxtExt

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

Required methods

fn infer_opaque_definition_from_instantiation(
    &self,
    opaque_type_key: OpaqueTypeKey<'tcx>,
    instantiated_ty: Ty<'tcx>,
    span: Span
) -> Ty<'tcx>

Implementors

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