[Issue 10924] covariant attribute inference for functions

[via Digitalmars-d-bugs]

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

Zach the Mystic <reachzach at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |reachzach at gmail.com

--- Comment #1 from Zach the Mystic <reachzach at gmail.com> ---
See my argument in favor of this enhancement here:

http://forum.dlang.org/thread/vlzwhhymkjgckgyoxlrq@forum.dlang.org

My suggested alternative to generating two links for each function is to
introduce a linkage attribute (suggested names: "@api", "extern(noinfer)") to
tell the compiler to mangle and generate .di signatures without the inferred
attributes.

I'm having trouble understanding why fully inferred attributes are meeting so
much resistance here:

https://github.com/D-Programming-Language/dmd/pull/1877

Related issues:

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

--