Le 13/03/2012 12:02, Peter Alexander a écrit :
On Monday, 12 March 2012 at 09:40:15 UTC, Walter Bright wrote:
On 3/12/2012 1:08 AM, Martin Nowak wrote:
What's wrong with auto-inference. Inferred attributes are only
strengthening
guarantees.
Auto-inference is currently done for lambdas and template functions -
why? - because the function's implementation is guaranteed to be
visible to the compiler. For other functions, not so, and so the
attributes must be part of the function signature.
Dumb question:
Why not auto-infer when the function body is available, and put the
inferred attributes into the automatically generated .di file?
Apologies if I've missed something completely obvious.
That is exactly what I was thinking about.
