Drop the done heldCheck fold from the plan

2026-09-30 20:25:00 +02:00
parent 317486df0a
commit 71feec7db9
1 changed files with 0 additions and 2 deletions
@@ -40,8 +40,6 @@ maintainer chose on 2026-09-30 to go on with the path steps regardless.

 This round, in order:

- Fold `checkNoOverlap` and `checkNoRepeatedRead` into `heldCheck`, so `compileFormat`
-  compiles and nothing more.
 - Fix at compile how `readField` reads an arm, `arm.kind`, deleting its two panics and
  its `held` lookup per read.
 - Switch `disagreement` on the fixed item's kind, with the other item inside each arm,