https://issues.dlang.org/show_bug.cgi?id=8307
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |REOPENED Resolution|WORKSFORME |--- --- Comment #3 from [email protected] --- (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. --
