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