// REQUIRED_ARGS: -debug -profile

// 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
do { }

alias gi = g!();