Trait rustc_trait_selection::traits::error_reporting::on_unimplemented::InferCtxtExt

pub trait InferCtxtExt<'tcx> {
    fn impl_similar_to(
        &self,
        trait_ref: PolyTraitRef<'tcx>,
        obligation: &PredicateObligation<'tcx>
    ) -> Option<(DefId, SubstsRef<'tcx>)>;
    fn describe_enclosure(&self, hir_id: HirId) -> Option<&'static str>;
    fn on_unimplemented_note(
        &self,
        trait_ref: PolyTraitRef<'tcx>,
        obligation: &PredicateObligation<'tcx>
    ) -> OnUnimplementedNote;
}

Required Methods

fn impl_similar_to(
    &self,
    trait_ref: PolyTraitRef<'tcx>,
    obligation: &PredicateObligation<'tcx>
) -> Option<(DefId, SubstsRef<'tcx>)>

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

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

Implementors

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