Skip to content

Parser: allow expressions in annotations - #1370

Merged
eponier merged 2 commits into
mainfrom
expr-in-assert
Jan 22, 2026
Merged

Parser: allow expressions in annotations#1370
eponier merged 2 commits into
mainfrom
expr-in-assert

Pretyping: small refactoring

5e7bb2c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs