fn check_specialization_on<'tcx>( tcx: TyCtxt<'tcx>, clause: Clause<'tcx>, span: Span ) -> Result<(), ErrorGuaranteed>