language · keyword ·
original
Request an admitted original alias
Use ordinary parameters by default, copy for an explicit independent value, original for an admitted source alias, and memoryAddress only at a reviewed low-level boundary.
originalStatus: experimental
Collection original
Use ordinary parameters by default, copy for an explicit independent value, original for an admitted source alias, and memoryAddress only at a reviewed low-level boundary.
cpu · complete-program · type checked
MutateOriginal(list of int original values)
{
values.Add(77)
}
list of int values = [1]
MutateOriginal(values)
Console.Log(Text.Format("collection-original: caller={0}", values.count))
project.mech
package = "tests.memoryLifetimeCollectionOriginal"
version = "0.1.0"
backend = "cpu-oracle"
osTarget = "windows"
archTarget = "x64"
selfContainedApp = true
Notes and source
Alias modes are restricted by type and target.
Task aliases are rejected. memoryAddress is not a general raw-pointer escape hatch.
yeho/memory-lifetime-unsafe-2026.1.json; parser_types.cpp parseParameters