Give enums nested in a body, impl, or closure a unique SMT-safe datatype name - #317

Merged

coord-e merged 2 commits into

mainfrom

claude/gifted-bohr-52o26a

Oct 4, 2026

Commits on Oct 2, 2026

Give enums nested in a body, impl, or closure a unique SMT-safe datatype name
claude
committed
a1b0e58

Commits on Oct 3, 2026

Name every enum datatype by its stable def-id symbol
claude
committed
ff61c0b