CWG 2026-06-26

The concept of "value" is abstract and never has cv-qualified type. A "prvalue" is a kind of expression, so the suggested resolution is a category error.

Possible resolution:

Change in 6.9.3 [basic.fundamental] paragraph 17 as follows:

A value prvalue of type std::meta::info is called a reflection. There exists a unique null reflection; every other reflection is a representation of ...

(From submission #924.)

Consider:

  constexpr std::meta::info x;

According to 6.9.3 [basic.fundamental] paragraph 17, the value of x is not a reflection. This does not make sense.