On 7/30/2014 3:53 PM, Artur Skawina via Digitalmars-d wrote: > No, with the assert definition you're proposing, it won't. It would > be allowed to optimize away the bounds check. And this is just one of > many problems with the assert==assume approach. Please explain how assume would behave any differently.