[Issue 13123] New: Disallow throwing contracts for nothrow functions
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Sun Jul 13 09:07:27 PDT 2014
https://issues.dlang.org/show_bug.cgi?id=13123
Issue ID: 13123
Summary: Disallow throwing contracts for nothrow functions
Product: D
Version: D2
Hardware: x86
OS: Windows
Status: NEW
Keywords: accepts-invalid
Severity: normal
Priority: P1
Component: DMD
Assignee: nobody at puremagic.com
Reporter: bearophile_hugs at eml.cc
dmd 2.066beta3 compiles this code:
void foo() nothrow
in {
throw new Exception(null);
} body {
}
void main() {}
--
More information about the Digitalmars-d-bugs
mailing list