Function rustc_trait_selection::traits::is_impossible_method

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

Checks whether a trait’s method is impossible to call on a given impl.

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