Repository navigation

Rename `invariant::Valid` to `invariant::Safe` - #2913

Closed

jswrenn wants to merge 1 commit into

mainfrom

G0f139a4a1ea20e62488df402468293623a806667

Closed

Rename `invariant::Valid` to `invariant::Safe`#2913
jswrenn wants to merge 1 commit into
mainfrom
G0f139a4a1ea20e62488df402468293623a806667

Commits on Jan 30, 2026
- Rename `invariant::Valid` to `invariant::Safe`
  jswrenn
  committed
  2cf6e37