On Monday, 12 September 2022 at 16:39:14 UTC, Paul Backus wrote:
[snip]
Yes. Except for `@trusted`, explicit attributes on template
code are a smell.
[snip]
If I can be 100% sure that something will always be
@safe/nothrow/pure/@nogc, then I might consider marking them as
such. For instance, a function that takes any floating point
type, does some calculation, and then returns it. I figure it is
documented for the user and at least this will save the compiler
the effort of figuring it. If I can't, then I don't.