fn trait_specialization_kind<'tcx>( tcx: TyCtxt<'tcx>, clause: Clause<'tcx>, ) -> Option<TraitSpecializationKind>