DIP1000: Memory Safety in a Modern System Programming Language Pt.1

[Dukc]

On Thursday, 23 June 2022 at 00:37:24 UTC, Steven Schveighoffer 
wrote:
>
> You mean like a system function which removes the scope-ness of 
> an array? Let me introduce you to my other thread: 
> https://forum.dlang.org/thread/t7qd45$1lrb$1@digitalmars.com
>
> -Steve

You are allowed to remove `scope` from an argument in unsafe 
code. It's only if you escape that argument when you trigger 
undefined behaviour. Just like you can cast away `const`, if you 
don't actually mutate the cast variable.