From 71feec7db976252e62e4d85fedd2484729b0374c Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Wed, 30 Sep 2026 20:25:00 +0200 Subject: [PATCH] Drop the done heldCheck fold from the plan --- todo.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/todo.md b/todo.md index eefa87d..0b417aa 100644 --- a/todo.md +++ b/todo.md @@ -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,