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