On Wednesday, 29 May 2013 at 12:43:46 UTC, Jakob Ovrum wrote: > const(int) i = tmp; // fails when the type has mutable > indirection. Ah, I understand that know. Well, until flow analysis is here I am afraid you can't really do anything better than assumeUnique or similar utility function.