On 7/30/2014 7:51 AM, 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. The program is no longer valid at that point.