Skip to content

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
Merged

Give enums nested in a body, impl, or closure a unique SMT-safe datatype name#317
coord-e merged 2 commits into
mainfrom
claude/gifted-bohr-52o26a

Name every enum datatype by its stable def-id symbol

ff61c0b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar