GC/non-GC memory as part of data type?

[Patrick Schluter]

On Wednesday, 13 November 2019 at 15:19:38 UTC, Gregor Mückl 
wrote:
> Hi!
>
> This is an attempt to follow up on the DIP1025 discussion: what 
> happens if all pointers/arrays/references carry the origin of 
> the pointed to memory region as part of their type? The goal is 
> to have a cleaner, more explicit separation of GC and non-GC 
> heaps.
>
> [...]

In fact, it's more or less just const/immutability for the 
pointer, isn't it?