[Issue 13772] template capture error

[via Digitalmars-d-bugs]

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

--- Comment #1 from galaxylang <galaxylang at 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

--