Template Function tvm::operator&&(const Pattern&, int64_t)