https://issues.dlang.org/show_bug.cgi?id=13118
yebblies <yebbl...@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |yebbl...@gmail.com --- Comment #3 from yebblies <yebbl...@gmail.com> --- (In reply to Denis Shelomovskij from comment #0) > This code should compile: > --- > void f() @nogc > in { new int; } > body { } > --- > > Note this is already the case for `nothrow` functions as one can throw > `Exception`s in contracts which allows e.g. use `assert(expr, format(...))`. assert throws an error and does not violate nothrow. --