https://issues.dlang.org/show_bug.cgi?id=13599 --- Comment #6 from Walter Bright <bugzilla at digitalmars.com> --- An even smaller test case: struct E { } E R() { { return E.init; } assert(0); } void MB( ) { R(); } --