Optimize datatype CLI performance by skipping accessor loop for 0-ary constructors#7710

Closed

Copilot wants to merge 3 commits intomasterfrom

copilot/fix-7709

Commits on Jul 1, 2025

Initial plan
Copilot
committed
Optimize datatype CLI performance by skipping accessor loop for 0-ary constructors

Copilot
and
NikolajBjorner
committed
Fix datatype performance by optimizing get_constructor_accessors for 0-ary constructors

Copilot
and
NikolajBjorner
committed