Skip to content

Structured assertion messages for reference and type assertions#8214

Merged
Evangelink merged 7 commits into
mainfrom
dev/amauryleve/structured-messages-reference-type
May 14, 2026
Merged

Structured assertion messages for reference and type assertions#8214
Evangelink merged 7 commits into
mainfrom
dev/amauryleve/structured-messages-reference-type

Commits

Commits on May 12, 2026

Commits on May 14, 2026