How to delete dynamic array ?

[frame]

On Wednesday, 17 March 2021 at 14:30:26 UTC, Guillaume Piolat 
wrote:
> On Wednesday, 17 March 2021 at 10:54:10 UTC, jmh530 wrote:
>>
>> This is one of those things that is not explained well enough.

I want just to add, case 3 is wrong usage.
Right one is:

GC.free(GC.addrOf(ar.ptr));