[Issue 18618] templated functions should in general have their attributes inferred

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sat Mar 17 00:45:18 UTC 2018


https://issues.dlang.org/show_bug.cgi?id=18618

Jonathan M Davis <issues.dlang at jmdavisProg.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |issues.dlang at jmdavisProg.co
                   |                            |m

--- Comment #1 from Jonathan M Davis <issues.dlang at jmdavisProg.com> ---
Templated functions should have their attributes inferred when whether
attributes make sense depend on the template arguments (which the often do).
However, if the attributes don't depend on the template arguments, then they
really should be explicit. Whether any of the ones listed should have
attributes inferred which currently are explicit, I don't know (I'd have to
study them to know), and it's quite possible that all of the attributes listed
here should be removed, but I don't think that it's a good policy to just not
put attributes on templated functions. Whether they should be there or not
depends on whether they depend on the template arguments.

--


More information about the Digitalmars-d-bugs mailing list