Struct rustc_typeck::coherence::inherent_impls_overlap::InherentOverlapChecker

struct InherentOverlapChecker<'tcx> {
    tcx: TyCtxt<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

Implementations

impl<'tcx> InherentOverlapChecker<'tcx>

fn impls_have_common_items(
    &self,
    impl_items1: &AssocItems<'_>,
    impl_items2: &AssocItems<'_>
) -> bool

Checks whether any associated items in impls 1 and 2 share the same identifier and namespace.

fn compare_hygienically(&self, item1: &AssocItem, item2: &AssocItem) -> bool

fn check_for_common_items_in_impls(
    &self,
    impl1: DefId,
    impl2: DefId,
    overlap: OverlapResult<'_>
)

fn check_for_overlapping_inherent_impls(
    &self,
    impl1_def_id: DefId,
    impl2_def_id: DefId
)

Trait Implementations

impl<'v, 'tcx> ItemLikeVisitor<'v> for InherentOverlapChecker<'tcx>

fn visit_item(&mut self, item: &'v Item<'v>)

fn visit_trait_item(&mut self, _trait_item: &TraitItem<'v>)

fn visit_impl_item(&mut self, _impl_item: &ImplItem<'v>)

fn visit_foreign_item(&mut self, _foreign_item: &ForeignItem<'v>)