fn is_impossible_associated_item(
tcx: TyCtxt<'_>,
(impl_def_id, trait_item_def_id): (DefId, DefId),
) -> bool
Expand description
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.