[Issue 14965] [REG2.031] Forward reference to inferred return type of function call when using auto return type
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Mon Mar 7 12:06:49 PST 2016
https://issues.dlang.org/show_bug.cgi?id=14965
--- Comment #5 from github-bugzilla at puremagic.com ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd
https://github.com/D-Programming-Language/dmd/commit/4b6779d2ff0b95866205189cb55e5aef00c13c7e
fix Issue 14965 - Forward reference to inferred return type of function call
when using auto return type
If a function symbol is used, its overload resolution should be deferred until:
```d
func(...) // CallExp.semantic
func.mangleof // DotIdExp.semanticY
typeof(func) // TypeTypeof.resolve
typeof(&func) // TypeTypeof.resolve
auto v = &func; // ExpInitializer.inferType
&func; // ExpStatement.semantic
return &func; // ReturnStatement
```
When the semantic analysis reaches to them, the function forward reference can
beome actual error.
Other use of 'func' should be treated as a property-like function call (done in
`resolveProperties`) and finally handled in `CallExp`.
https://github.com/D-Programming-Language/dmd/commit/624ad66c0bbfdfad8c5c1fc95339f77ac3659694
Merge pull request #5202 from 9rnsr/fix14965
[REG2.031] Issue 14965 - Forward reference to inferred return type of function
call when using auto return type
--
More information about the Digitalmars-d-bugs
mailing list