From 85283c2e87df99bade7ddd32c29e3f72a53e521c Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 22:02:04 +0700 Subject: [PATCH] Any typed container crosses into dyn as a view --- TODO.org | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/TODO.org b/TODO.org index 79b345c7..0f2fe683 100644 --- a/TODO.org +++ b/TODO.org @@ -18,6 +18,11 @@ builders return =String=; =(Vec u8)= stays for raw bytes. Text is UTF-8 everywhe a character is a code point; dyn gets a character tag, so \\I prints as \\I. Waits on the dyn-unless-annotated design. +** NEXT Any typed container crosses into dyn as a view +Decided 2026-09-25: every element type (all numbers, chars, structs, nested arrays) +and any storage; a dev build checks a view against its frame or allocation and traps +when stale, a release build does not. Waits on the dyn-unless-annotated design. + ** NEXT Dyn unless annotated Decided 2026-09-25: in both syntaxes an unannotated value is dyn — [6 2 4 9] is a dyn vector, 1 a dyn integer — and a typed value needs an annotation. Rules and migration