Phobos 3 Discussion Notes - 02-01-2024

[Atila Neves]

On Thursday, 8 February 2024 at 05:12:06 UTC, Paul Backus wrote:
> On Wednesday, 7 February 2024 at 22:00:49 UTC, Jonathan M Davis 
> wrote:
>> [...]
>
> With -preview=dip1000 and -preview=systemVariables, it is 
> possible to make pretty much any allocator @safe--although for 
> some of them, the safety checking adds a little bit of runtime 
> overhead.
>
> The main obstacle is that both of these -preview features are 
> still very much unfinished, and will need a lot of work before 
> they are ready to be used in real library code.
>
> By the way, one of the key techniques that makes this work is 
> having the allocators wrap each void[] they return in a 
> non-copyable struct, so that it can only be deallocated once. 
> So you can probably understand why I'm so concerned about 
> support for non-copyable types in Phobos v3. :)

What specifically would we need support for?