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

[Georgi D via Digitalmars-d]

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