http://d.puremagic.com/issues/show_bug.cgi?id=10924

           Summary: covariant attribute inference for functions
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: code@dawg.eu


--- Comment #0 from Martin Nowak <code@dawg.eu> 2013-08-30 00:15:01 PDT ---
The main reason why we can't perform attribute inference for all functions is
separate compilation. Currently we only do it for functions where the source
code must be available, i.e. template functions and auto return functions.
If we added an alias symbol from the mangling with annotated attributes to the
one with inferred attributes an object could be linked with or without
knowledge of the infered attributes/source code. This could be helpful to
reduce the amount of annotation necessary within a library/project.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------