static assert(call(x) !is y);
static assert(call(x) is y);