-dip25 switch: time to make it always on?

[Walter Bright via Digitalmars-d]

On 7/1/2016 6:28 PM, Jonathan M Davis via Digitalmars-d wrote:
> https://issues.dlang.org/show_bug.cgi?id=16226

https://github.com/dlang/dmd/pull/5900

DMD will go ahead and infer the 'return' attribute when it is inferring other 
attributes for a function. This helps a lot to reduce the number of extra 
annotations required without reducing effectiveness.

The bug was it didn't do the inference right.