Function attribute best practices

[jmh530]

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.