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...