[Issue 8307] inconsistent treatment of auto functions

[via Digitalmars-d-bugs]

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

timon.gehr at gmx.ch changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|WORKSFORME                  |---

--- Comment #3 from timon.gehr at gmx.ch ---
(In reply to Andrej Mitrovic from comment #2)
> 
> The spec seems correct afaict,

???

> unless I'm missing something.

In 'foo' the types of the two return expressions do not 'match exactly', yet it
is accepted. In 'bar' according to the spec the return type is settled after
the first return statement, hence there would _not_ be a circular dependency.

--