Question about garbage collection specification

[via Digitalmars-d]

On Sunday, 14 June 2015 at 11:36:59 UTC, Paulo Pinto wrote:
> On Sunday, 14 June 2015 at 11:03:00 UTC, Marc Schütz wrote:
>> As for arbitrary pointer arithmetic being allowed, I guess 
>> that's because the language doesn't distinguish between GC and 
>> non-GC pointers. And note that it is un- at safe anyway.
>>
>> [1] http://dlang.org/garbage.html
>
> Wouldn't it make sense to do so?
>
> Active Oberon, Modula-3 and .NET make such difference in their 
> pointer types.
>
> I would imagine it could help in terms of what is possible for 
> GC improvements.

Definitely, but I don't see how it could reasonably be added to 
the language now.