[Issue 3574] post-condition is not evaluated if there is no return statement

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=3574


Don <clugdbug at yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clugdbug at yahoo.com.au
            Version|unspecified                 |1.00


--- Comment #1 from Don <clugdbug at yahoo.com.au> 2010-01-27 02:47:38 PST ---
Applies to D1 (even ancient versions) as well as D2.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------