From 04e49146ed9110f395e2ee6ce86716212b2bdd85 Mon Sep 17 00:00:00 2001
From: lprv <100177227+lprv@users.noreply.github.com>
Date: Mon, 8 Dec 2025 17:24:04 +0000
Subject: [PATCH] [lex.ext] Remove redundant requirement

This requirement is redundant with the more general provision found in
[basic.lookup.general].
---
 source/lex.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/source/lex.tex b/source/lex.tex
index 8005b33374..6fcee1d551 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -2223,7 +2223,6 @@
 first let \placeholder{S} be the set of declarations
 found by unqualified lookup for the \grammarterm{literal-operator-id}
 whose literal suffix identifier is \placeholder{X}\iref{basic.lookup.unqual}.
-\placeholder{S} shall not be empty.
 
 \pnum
 If \placeholder{L} is a \grammarterm{user-defined-integer-literal}, let \placeholder{n} be the literal