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

--- Comment #8 from [email protected] ---
(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

--

Reply via email to