www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 14981] New: Missing nothrow attribute in dbgVerifySorted()

https://issues.dlang.org/show_bug.cgi?id=14981

          Issue ID: 14981
           Summary: Missing nothrow attribute in dbgVerifySorted()
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: phobos
          Assignee: nobody puremagic.com
          Reporter: bb.temp gmx.com

---
import std.algorithm;
import std.container;

void main(string[] args) {
    Array!string letters = ["b","a","c"];
    sort(letters[]);
}
---

compiles this with -debug.
out contract of std.range.SortedRange.this

`dbgVerifySorted()` is not nothrow ?

errors:

C:\...\std\range\package.d(7180): Error:
'std.range.SortedRange!(RangeT!(Array!string), "a <
b").SortedRange.dbgVerifySorted' is not nothrow
C:\...\std\algorithm\sorting.d(982): Error: template instance
std.range.assumeSorted!("a < b", RangeT!(Array!string)) error instantiating

--
Aug 30 2015