Skip to content

Allow record syntax for record with anonymous fields - #22307

Open
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:record-anon
Open

Allow record syntax for record with anonymous fields#22307
SkySkimmer wants to merge 1 commit into
rocq-prover:masterfrom
SkySkimmer:record-anon

Allow record syntax for record with anonymous fields

eac8c98
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Windows
succeeded Jul 24, 2026 in 33m 32s