[Issue 12728] [REG2.066a] IFTI should consider instantiated types that has template parameters with default args

[via Digitalmars-d-bugs]

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

Kenji Hara <k.hara.pg at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull
            Summary|GIT HEAD : Error X is not   |[REG2.066a] IFTI should
                   |of arithmetic type          |consider instantiated types
                   |                            |that has template
                   |                            |parameters with default
                   |                            |args

--- Comment #2 from Kenji Hara <k.hara.pg at gmail.com> ---
Simplified test case:

struct Matrix(T, uint M, uint N = M, ubyte _F = 0)
{
    void foo(uint R)(auto ref in Matrix!(T, N, R) b)
    {
    }
}
void main()
{
    alias Matrix4 = Matrix!(float, 4);

    Matrix4 m;
    m.foo(m);
}


It has been introduced by the fix for issue 12725.

Fix: https://github.com/D-Programming-Language/dmd/pull/3539

--