[Issue 13123] New: Disallow throwing contracts for nothrow functions

[via Digitalmars-d-bugs]

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: nob...@puremagic.com
          Reporter: bearophile_h...@eml.cc

dmd 2.066beta3 compiles this code:


void foo() nothrow
in {
    throw new Exception(null);
} body {
}
void main() {}

--