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.
