Skip to content

Disallow nondistinct variable names for universal rings#2413

Merged
fingolfin merged 1 commit into
Nemocas:masterfrom
SoongNoonien:uring_var_names
Jun 3, 2026
Merged

Disallow nondistinct variable names for universal rings#2413
fingolfin merged 1 commit into
Nemocas:masterfrom
SoongNoonien:uring_var_names

Disallow nondistinct variable names for universal rings

5875ae8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
generatematrix
succeeded May 27, 2026 in 55s