On Tuesday, 26 August 2014 at 20:27:55 UTC, Timon Gehr wrote: > On 08/26/2014 10:13 PM, Cliff wrote: >> On Tuesday, 26 August 2014 at 19:47:25 UTC, Casper Færgemand >> wrote: >>> How would this even work? >> >> It looks like this applies only to the inference of immutability >> based on the structure of the type and its methods, as opposed to >> a declaration of immutability. > > It does not look like that to me. Hmm, I went and re-read more closely, and it appears the Summary differs from the claims in that very important detail... that sucks.