That is what the part of this idea that Walter is tackling first, See https://github.com/dlang/DIPs/blob/master/DIPs/DIP1021.md https://github.com/dlang/DIPs/bl

That is what the part of this idea that Walter is tackling first, See https://github.com/dlang/DIPs/blob/master/DIPs/DIP1021.md https://github.com/dlang/DIPs/blob/master/DIPs/DIP1021.md The short of it is that the compiler will enforce that the same pointer is not provided to function more then once at the call site.