Function rustc_hir_analysis::impl_wf_check::min_specialization::trait_predicate_kind

fn trait_predicate_kind<'tcx>(
    tcx: TyCtxt<'tcx>,
    predicate: Predicate<'tcx>
) -> Option<TraitSpecializationKind>