// REQUIRED_ARGS: -debug -profile
-// Issue 10520 [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts
+// https://issues.dlang.org/show_bug.cgi?id=10520
+// [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts
void f() { }
void g()()
in { f(); } // OK <- Error: 'main.f' is not nothrow
-body { }
+do { }
alias gi = g!();