On Monday, 30 May 2022 at 01:30:30 UTC, zjh wrote: > You can add `@live` if you want to use `@safe`. `@attribute` is originally used for `restriction`.