On Saturday, 25 February 2017 at 00:50:36 UTC, Chris Wright wrote: > On Fri, 24 Feb 2017 21:16:28 +0100, Timon Gehr wrote: >> Worse. It turns failures into UB. > > Which is what ketmar described. D allows asserts being turned into assumes. Which is potentially unsound.