[−][src]Trait rustc_trait_selection::traits::error_reporting::on_unimplemented::InferCtxtExt

pub(crate) trait InferCtxtExt<'tcx> {
    pub(crate) fn impl_similar_to(
        &self, 
        trait_ref: PolyTraitRef<'tcx>, 
        obligation: &PredicateObligation<'tcx>
    ) -> Option<DefId>;

    pub(crate) fn describe_enclosure(
        &self, 
        hir_id: HirId
    ) -> Option<&'static str>;

    pub(crate) fn on_unimplemented_note(
        &self, 
        trait_ref: PolyTraitRef<'tcx>, 
        obligation: &PredicateObligation<'tcx>
    ) -> OnUnimplementedNote;
}

Required methods

pub(crate) fn impl_similar_to(
    &self,
    trait_ref: PolyTraitRef<'tcx>,
    obligation: &PredicateObligation<'tcx>
) -> Option<DefId>[src]

pub(crate) fn describe_enclosure(&self, hir_id: HirId) -> Option<&'static str>[src]

pub(crate) fn on_unimplemented_note(
    &self,
    trait_ref: PolyTraitRef<'tcx>,
    obligation: &PredicateObligation<'tcx>
) -> OnUnimplementedNote[src]

Loading content...

Implementors

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

pub(crate) fn describe_enclosure(&self, hir_id: HirId) -> Option<&'static str>[src]

Used to set on_unimplemented's ItemContext to be the enclosing (async) block/function/closure

Loading content...