Skip to content

Keep numbered existential names distinct - #9200

Merged
cknitt merged 1 commit into
masterfrom
drift-9180-existential-names
Nov 4, 2026
Merged

Keep numbered existential names distinct#9200
cknitt merged 1 commit into
masterfrom
drift-9180-existential-names

Keep numbered existential names distinct from other existential names

1babc35
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar