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

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

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>