From 55b127856b53dd209fbc5165b0b9cc9c7e244c9f Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Wed, 30 Sep 2026 20:35:41 +0200 Subject: [PATCH] Drop the done readField item from the plan --- todo.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/todo.md b/todo.md index 0b417aa..9273f7a 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: -- 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, and rename its `proven` local, which shadows the `proven` type: seven seats read the seven-arm switch as a truth table without the table.