void main() { alias Y = X!(int, long); static if (is(Y : X!(W, Z), W, Z)) { pragma(msg, W, " ", Z); } } class X(T,S) { T x; S y; }