Timon Gehr Fri, 01 Nov 2013 04:51:09 -0700
On 11/01/2013 12:45 PM, Timon Gehr wrote:
auto a=bar(); // note: a is pure
(as in 'weakly pure'.)