diff --git a/xml/issue4429.xml b/xml/issue4429.xml new file mode 100644 index 0000000000..b1bc164476 --- /dev/null +++ b/xml/issue4429.xml @@ -0,0 +1,55 @@ + + + + +<code>meta::alignment_of</code> should exclude data member description of bit-field +
+ +
+Tomasz Kamiński +24 Oct 2025 +99 + + +Addresses US 109-170 +

+ p#8 +This should similarly disallow data member descriptions of bit-fields. +

+
+ + +

+This wording is relative to . +

+ +
    + +
  1. Modify as indicated:

    + +
    +consteval size_t alignment_of(info r);	
    +
    +
    +

    -7- Returns: […] +

    +

    -8- Throws: `meta::exception` unless all of the following conditions are met: +

      +
    • (8.1) — +`dealias(r)` is a reflection of a type, object, variable of non-reference type, +non-static data member that is not a bit-field, direct base class relationship, +or data member description (T,N,A,W,NUA) () +where W is not ⊥.. +
    • +
    • (8.2) — +If `dealias(r)` represents a type, then `is_complete_type(r)` is true. +
    • +
    +

    +
    +
  2. +
+ +
+ +