On Friday, 31 May 2013 at 15:35:54 UTC, Jonathan M Davis wrote:
The only problem with auto is that the type can't be inferred
without the
function body. But all of the information is there. So, all you
have to do is
make it so that the function doesn't return auto (or so that
the variable
declaration uses the actual type instead of auto). For
non-templated
functions, that's trivial. .di generation could automate that
better, but it's
not a big deal.
During the discussion about increasing attribute inference to
auto functions, it was being argued that defining the specific
return type for an auto function in the di file is incorrect.
