Member predicate ClassAggregateLiteral::isValueInitialized
Holds if the field field
is value initialized because it is not
explicitly initialized by this initializer list.
Value initialization (see [dcl.init]/8) recursively initializes all fields
of an object to false
, 0
, nullptr
, or by calling the default
constructor, as appropriate to the type.
predicate isValueInitialized(Field field)