Deduplicate `push()`/`extend()` helpers as a default impl on `TaggedStructure`#994

Merged

MarijnS95 merged 3 commits intomasterfrom

Jul 20, 2025

Commits on Jul 20, 2025

Deduplicate `push()`/`extend()` helpers as a default impl on `TaggedStructure`
MarijnS95
committed
SQUASHME: Remove unnecessary "dyn compatibility" overhead
MarijnS95
committed
SQUASHME: Further solidify non-"dyn compatibility"
MarijnS95
committed