Type associated constants would remove callbacks from C objects
engineeringcconstexprgenericsstandardsN3969 proposes constants associated with structure types without adding object storage. Generic containers motivate the design, but type compatibility creates the difficult rules.