Opt-in non-null class references?

[aliak]

On Thursday, 1 March 2018 at 19:10:29 UTC, Jonathan M Davis wrote:
> DIP 1000 operates based on the type. As I understand it, it 
> looks at the fact that something is scope or not and then 
> determines whether a particular operation is valid or not based 
> on whether the operation could result in a reference to the 
> data escaping. An operation is then valid or not regardless of 
> what other lines in the code are doing. As such, if I 
> understand correctly, code-flow analysis isn't really 
> necessary, just like code-flow analysis isn't necessary to 
> determine what's valid or not when const is involved.
>
> - Jonathan M Davis

Ah right, makes sense yep. Thanky!