Skip to content

abicheck

Type field added compatible

abicheck/abicheck

Rule: Field added behind an accessor¶

Canonical rule slug: type-field-added-compatible. ← back to all rules

An opaque type gains a field and an accessor, which consumers cannot observe because they never see the layout.

Canonical demonstration¶

case62_type_field_added_compatible — Type Field Added (Compatible — Opaque Struct) (🟢 COMPATIBLE)

Used by scenarios¶

case94_empty_tag_gained_state — Empty Tag Gained State
case191_header_only_graph_field_type — Public Struct Gains a Field of a Private Type (Header-Only Graph)