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

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Sun Nov 8 16:29:41 PST 2015


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

--- Comment #8 from bb.temp at gmx.com ---
(In reply to Steven Schveighoffer from comment #7)
> 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.

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

--


More information about the Digitalmars-d-bugs mailing list