On Wednesday, 29 June 2016 at 20:51:56 UTC, Walter Bright wrote:
On 6/29/2016 6:45 AM, Jacob Carlborg wrote:
How is it a success? Grepping on "return ref" gives back four
results in Phobos
and one in druntime.
It was designed to solve the returning reference problem with
as few annotations as possible. Needing only 4 annotations in
the entire runtime library and yet have plugged the holes is
quite nice.
I don't claim to know all of the places it can or should be
applied in Phobos, but this seems to me like it indicates either
return is not strict enough or it is not used everywhere it
should be. We know for sure from that learn thread that there is
at least one case that it doesn't catch.
