• d-bugmail puremagic.com (33/33) Mar 23 2021 https://issues.dlang.org/show_bug.cgi?id=21752

d-bugmail puremagic.com writes:

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

          Issue ID: 21752
           Summary: Template constraint breaks overload resolution
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: moonlightsentinel disroot.org

A template constraint for a nested template breaks overload resolution in the
following example (even though the constraint is satisfied). Commenting the
constraint or moving it into a `static assert` fixes the problem.

------------------------------------------------------------
void foo(A)(A a)
{}

template foo()
{
    void foo()()
    if (true)  // Comment this constraint to make it pass
    {}
}

void main()
{
    foo!()();
}
------------------------------------------------------------

The original code used nested templates to create two variadic parameters but
those are not required to trigger this bug.

--