Where are the (new) B/D improvements to be found in the source BTW?

@GordonBGood

The question is: What does the compiler see ? The compiler sees `owned` be 
passed to `sink`.

I already stated:

> Despite this, an owned ref can't be passed to a non-owned field

and the "field" here is the `src: sink Widget`. There is no problem with your 
`proc sinkprocUsing`. There is a problem with "hidden aliasing". The caller 
can't now that `sinkprocUsing` would aliase the `owned w`. Then, `dw` may 
outlive `w` . This must not happen. But, if I'd quote:

> Despite this, an owned ref can't be passed to a sink

`sink` would become useless in combination with `owned`.

Reply via email to