[Issue 10810] wrong forward reference error when using return type deduction and a cyclic call flow

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=10810

--- Comment #9 from Vladimir Panteleev <dlang-bugzi...@thecybershadow.net> ---
(In reply to timon.gehr from comment #8)
> What I'm saying is that you cannot short-circuit semantic analysis of
> function bodies based on unknown information. How would the compiler
> determine that there are no return statements in a's body?

In the general case, yes. I was talking about this particular case, as I've
said above.

--