On Sunday, 2 March 2025 at 15:07:30 UTC, Mike Shah wrote:

I like the consistency with existing language in this proposal. User-defined attributes already work like this, as your @trustmore example shows. The language would simply have to pretend that safe, trusted and system are structs that can be constructed with a string argument.

Still, I think a standartised DDoc section would probably be a better way to do this since this is essentially just another way to write a comment.