# Function rustc_trait_selection::traits::is_impossible_associated_item

source ·

    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.