Proposed resolution (approved by CWG 2026-02-06):

Change in 7.7 [expr.const] bullet 22.2 as follows:

A constant expression is either

• a glvalue core constant expression E for which ...
• a prvalue core constant expression whose result object (7.2.1 [basic.lval]) (if any) satisfies the following constraints: ...

Drafting note: A prvalue of object type always has a result object; see 7.2.1 [basic.lval] paragraph 5.

(From submission #821.)

Subclause 7.7 [expr.const] bullet 22.2 does not handle expressions of type void or of scalar types.