@live questions

[Timon Gehr]

On 22.11.20 18:28, jmh530 wrote:
> On Sunday, 22 November 2020 at 07:44:51 UTC, Walter Bright wrote:
>> [snip]
>>> and `@live` is just a bunch of checks and dataflow analysis without 
>>> an underlying modular safety story. Indeed, putting `@safe` on the 
>>> examples above will correctly reject them.
>>
>> @live is not redundant with nor a replacement for @safe. It enables a 
>> specific set of checks that are independent from 
>> @system/@trusted/@safe, though it is best used with @safe.
>>
>>
> [snip]
> 
> I haven't had a chance to watch DConf Online yet, but my understanding 
> is that @live would enable more things to be marked as @safe. Is my 
> understanding correct?

No.