Member predicate ClassAggregateLiteral::hasDesignator
Holds if the position-th initialization of field in this aggregate initializer
uses a designated (e.g., .x = ...) rather than a positional initializer.
For example, in:
struct S { int x, y; };
struct S s = { .x = 1, 2 };
.x = 1is a designated initializer, thereforehasDesignator(x, 0)holds.2is a positional initializer fors.y, thereforehasDesignator(y, 1)does not hold.
predicate hasDesignator(Field field, int position)