Walter Bright <newshou...@digitalmars.com> wrote: > 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.
It wouldn't and that's the point. If you have (a more harmless) assert _and_ assume you can still use assert, which would then _not_ allow those optimization. Tobi
