This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118f. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2025-11-07
The use of "compounded from" in 6.9.1 [basic.types.general] paragraph 12 is unclear, because the reference to 6.9.4 [basic.compound] appears to include static data member of classes, which seems unintended.
Proposed resolution (approved by CWG 2025-11-07):
Change in 6.9.1 [basic.types.general] paragraph 12 and insert a paragraph as follows:
A type is consteval-only if it is
either std::meta::info or a type compounded from a consteval-only type (6.9.4 [basic.compound]).
- std::meta::info,
- cv T, where T is a consteval-only type,
- a pointer or reference to a consteval-only type,
- an array of consteval-only type,
- a function type having a return type or any parameter type that is consteval-only,
- a class type with any non-static data member having consteval-only type, or
- a type "pointer to member of class C of type T", where at least one of C or T is a consteval-only type.
Every object of consteval-only type shall be ...