Bug 3573 – pure and nothrow allow function return type to be inferred

there are 3 related problems: 1. it is possible to declare function without specifying return type. pure foo () {} pure foo () {} pure nothrow foo () {} should be: pure nothrow void foo () {} 2. pure is not enforced when return type is omitted int bar = 3; pure foo () { bar = 42; } void main () { writeln (bar); // writes 3 foo (); writeln (bar); // writes 42 } 3. nothrow is not enforced when return type is omitted nothrow foo () { throw new Exception (""); } void main () { foo (); // throws exception }

Points 2 and 3 were fixed in DMD svn 736. Point 1 remains, though I don't think it can ever cause problems. Changing title and downgrading to minor. Original bug title: "pure and nothrow are not enforced when function has no return type specified"

*** Issue 11491 has been marked as a duplicate of this issue. ***

Isn't 1. a feature?

(In reply to Michal Minich from comment #0) > 1. it is possible to declare function without specifying return type. > > pure foo () {} > pure foo () {} > pure nothrow foo () {} These are now implied to have an "auto" return type, i.e.: pure foo () {} pure bar () { return 1; } pragma(msg, typeof(foo()).stringof); // prints "void" pragma(msg, typeof(bar()).stringof); // prints "int"