@live questions

jmh530 john.michael.hall at gmail.com
Sun Nov 22 17:28:06 UTC 2020


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?


More information about the Digitalmars-d mailing list