On 7/30/14, 7:55 AM, Tofu Ninja wrote: > On Wednesday, 30 July 2014 at 14:51:34 UTC, Andrei Alexandrescu wrote: >> Also, it's unclear to me what the optimizer would be supposed to do if >> an assumption turns out to be false. > > Bad... bad... things... So then I see nothing that assume can do that assert can't. -- Andrei