When developing @safe @nogc nothrow code, the mantra needs repeated on each module and each aggregate in the module. This is verbose and has little value for the reader, more noise in the code. Currently adding module level attributes is not allowed: --- @nogc module foo; --- Error: @nogc attribute for module declaration is not supported Would be nice to able to annotate whole modules (including aggregates inside the module) with a set of attributes - this will reduce the clutter and actually be useful as a documentation for readers.
yes but no restrictions ? @trusted module stuff; <plenty of unsafe stuff here> __EOF__
You can do this ATM with global declarations --- @trusted: --- or on aggregates --- @trusted struct Foo --- so there is no change on how you can shot yourself in the proverbial foot.
This https://atilanevesoncode.wordpress.com/2018/12/11/what-d-got-wrong/ points out the "attribute soup" issue, which could be ameliorated by this feature request. One can simply group similar concerning code with certain attributes in modules and thus greatly reduce the number of attribute declarations inside modules and module members.
THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/17888 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB