Skip to content

Reject a recorded type byte that names no type - #407

Merged
typeless merged 2 commits into
mainfrom
wip/399-checked-type-casts
Aug 17, 2026
Merged

Reject a recorded type byte that names no type#407
typeless merged 2 commits into
mainfrom
wip/399-checked-type-casts

Reject a recorded flags word carrying a bit no flag names

a611bb4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
format-check
succeeded Aug 17, 2026 in 9s