DIP 1021--Argument Ownership and Function Calls--Community Review Round 1

[aliak]

On Friday, 19 July 2019 at 07:59:14 UTC, Walter Bright wrote:
> Write a function that passes both the OutBuffer reference, and 
> the result of peekSlice(). In that function, call writeByte(). 
> Boom.
>
> The example in the DIP is the same thing, minus the 470 lines 
> of other stuff.

writeByte and peekSlice are both @system and can't be called from 
@safe code though. That won't compile today. What did I miss?