[Issue 14981] [REG 2.068.0] Missing nothrow attribute in dbgVerifySorted()

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Sun Nov 8 09:10:38 PST 2015


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

Steven Schveighoffer <schveiguy at yahoo.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #7 from Steven Schveighoffer <schveiguy at yahoo.com> ---
dbgVerifySorted is part of a SortedRange, which is a template. member functions
of templates are also allowed to be inferred using the compiler.

This is why dbgVerifySorted was fixed in PR by the removal of the RNG (and not
adding nothrow specifically).

Either this is a compiler bug or somehow the comparison function isn't implied
to be nothrow.

Note that there's no 'nothrow' in your code, which makes me feel like the
compiler is outsmarting itself.

I think this is a new bug. Please open a new one, as the original regression
was fixed.

--


More information about the Digitalmars-d-bugs mailing list