Open
Description
CWG2558: Is it intentional that uninitialized subobjects can appear in prvalues returned by constant expressions?
P1331R2 dropped the corresponding restriction, but maybe that wasn't entirely intentional.
struct A {
int n;
consteval A() {}
};
constexpr A a;
CWG2536: The variable a
is a variable with static storage duration, which previously could not have subobjects with indeterminate value (because of zero-initialization). The status quo wording does permit such indeterminate values. Is that intentional?