On Sunday, 29 May 2022 at 23:14:32 UTC, Paul Backus wrote: > `@live` and `@safe` are two `different attribute`, which are no different from ordinary `@attributes`. You can add `@live` if you want to use `@safe`. It doesn't matter. It's not that terrible.