From caf39c4346163a0bd66ef65b4a33e06ac3c3ea00 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Fri, 25 Sep 2026 12:04:08 +0700 Subject: [PATCH] A read-only pointer is to sit beside the read-only slice --- TODO.org | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/TODO.org b/TODO.org index fa0b78c0..48e22e32 100644 --- a/TODO.org +++ b/TODO.org @@ -1097,6 +1097,11 @@ Decided 2026-09-25: the type-limit constants as a form taking a type, Odin's max(T), valid at any numeric type or a numeric?-bounded variable. For a float, min-of is the most negative finite value. +** NEXT (Ptr const T), the pointer beside [const T] +Decided 2026-09-25: addr through a read-only slice gives a (Ptr const T), which +nothing writes through; (Ptr T) widens to it and never back; a C parameter +declared const T* takes one. Closes the addr hole in [const T]. + * Backends ** DONE The x86 backend tracks LLVM at -O0