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

Steven Schveighoffer <[email protected]> changed:

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

--- Comment #7 from Steven Schveighoffer <[email protected]> ---
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.

--

Reply via email to