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.