From 892989fe853aaecac5840f7a385cc8af9887473b Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 25 Sep 2026 11:03:56 +0700
Subject: [PATCH] A container parameter its function grows is to be warned at

---
 TODO.org | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/TODO.org b/TODO.org
index 468c389d..95258123 100644
--- a/TODO.org
+++ b/TODO.org
@@ -633,6 +633,12 @@ generic binding — saying =$= marks a
 type variable and naming the bare spelling. A =defn= parameter was already
 refused, as a type in a name slot.
 
+** NEXT A container parameter the function grows is warned at
+Decided 2026-09-25: Odin's behaviour stays — a Vec or Map passed by value is a
+copy of its header, so growth inside the callee does not reach the caller. A
+parameter the function grows (push, put, reserve, anything that can reallocate)
+gets a warning at the parameter suggesting (Ptr ...).
+
 * Checker
 
 ** DONE The ownership flow analysis is repealed