Function rustc_typeck::impl_wf_check::min_specialization::trait_predicate_kind

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