transferAttributes attaches the attributes to the local declaration. I'd be surprised if they were copied to the outer declaration. Or did you mean attributing the return *type*?
The declaration. The type, I guess I'd use an alias. Though, I guess the alias syntax limitations would probably forbid that.
So yes, the local declaration is attributed, that works. How do I propagate the attribute to the returned value?
Also, dropping the auto return is not accepted by the compiler, even though it seems natural for me:
@(__traits(getAttributes, origin)) To transferAttributes(alias origin, To)(To t)
{
@(__traits(getAttributes, origin)) To temp = t;
...
'origin' is a template parameter and should be reachable to determine the return type.
Already filed?
Anyway, you are attributing the function declaration here, not the return type
Hmm. Would @(attr) { ReturnType } functionName (...) work?
, which is another problem as it looks we do not have a syntax for that and "auto" is required:
auto foo()
{
@attr struct S {}
return S.init;
}