Function is_impossible_associated_item

fn is_impossible_associated_item(
    tcx: TyCtxt<'_>,
    (impl_def_id, trait_item_def_id): (DefId, DefId),
) -> bool

Checks whether a trait’s associated item is impossible to reference on a given impl.

This only considers predicates that reference the impl’s generics, and not those that reference the method’s generics.