From e83ed1451c421a1d099fff4df70ca3bde919ef12 Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Thu, 24 Sep 2026 00:28:47 +0200 Subject: [PATCH] Have the typed-TLV item prove the changelog's advice compiles --- todo.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/todo.md b/todo.md index ea80ae6..5bb8c55 100644 --- a/todo.md +++ b/todo.md @@ -201,7 +201,8 @@ and is also what the panel ranked hardest — two methods, one answer. `tagValue` is `TlvValue`, so `{ callback_num: { tagValue: buf } }` compiles and is refused only at runtime, and reading `receipted_message_id` has to narrow out arrays it can never hold. Derive the types from the specs' own wire types and `multiple` flag. It has to land in - the same minor as the arrays, or narrowing the types is a second break. From the + the same minor as the arrays, or narrowing the types is a second break. A test compiles the + CHANGELOG's `tagValue[0]` advice, which the union does not type-check today. From the product-owner review of #25. - [ ] **Settle what a repeated tag not marked `multiple` reads as, and pin it in a test.** A vendor