Potential issue with DMD where the template constrains are not evaluated early enough to prevent type recursion

Wed May 18 05:02:13 PDT 2016

On Tuesday, 17 May 2016 at 21:48:55 UTC, Georgi D wrote:
> On Friday, 13 May 2016 at 23:31:00 UTC, Timon Gehr wrote:
>> On 13.05.2016 23:21, Georgi D wrote:
>>> [...]
>>
>> It's tricky. The reason it fails to compile is that the 
>> template argument you are passing does not actually refer to 
>> the overload set.
>>
>> [...]
>
> Should I open a PR in bugzilla for this?
>
> Thanks

Done.
https://issues.dlang.org/show_bug.cgi?id=16042
https://github.com/dlang/dmd/pull/5794

Kenji Hara