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

[Georgi D via Digitalmars-d]

On Wednesday, 18 May 2016 at 12:02:13 UTC, Hara Kenji wrote:
> 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

Thanks, Great work!