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

--- Comment #1 from galaxylang <galaxylang@gmail.com> ---
//there are some copy problem
//now DMD implement follow two case no difference
//class    P(T:U!(V,X),alias U,V){}=======class    P(T:U!(V,X),alias U,V...){}


class U(V...)
{
}
class    P(T:U!(V,X),alias U,V,X,D=U!(V,X))
{
}

@property void opCall(P)(P)
{
  writeln(typeid(P));
}

P!(U!(int,int,int,int)) p;
p();
//output
//m.P!(U!(int, int, int, int), U, int, int, U!(int, int)).P
//D=T,
//but now
//D=U!(int,int)
//T=U!(int, int, int, int)

there also a problem that,as you can see
@property void opCall(P)(P)
can work
@property void opDispatch(P,string op)(P)
but not run

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3

--

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

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |razvan.nitu1305@gmail.com
         Resolution|---                         |REMIND

--- Comment #2 from RazvanN <razvan.nitu1305@gmail.com> ---
This bug report is incomprehensible. Please reopen if you have a better description.

--