diff --git a/vlib/v/gen/comptime.v b/vlib/v/gen/comptime.v
index e8c68b3c6a..a75fe2d4a4 100644
--- a/vlib/v/gen/comptime.v
+++ b/vlib/v/gen/comptime.v
@@ -268,7 +268,8 @@ fn (mut g Gen) comp_if_expr(cond ast.Expr) {
 						// this is only allowed for generics currently, otherwise blocked by checker
 						exp_type = g.unwrap_generic(left.typ)
 					}
-					g.write('$exp_type == $got_type')
+					op := if cond.op == .key_is { '==' } else { '!=' }
+					g.write('$exp_type $op $got_type')
 				}
 				.eq, .ne {
 					// TODO Implement `$if method.args.len == 1`
diff --git a/vlib/v/tests/comptime_if_is_test.v b/vlib/v/tests/comptime_if_is_test.v
new file mode 100644
index 0000000000..8b63433fb8
--- /dev/null
+++ b/vlib/v/tests/comptime_if_is_test.v
@@ -0,0 +1,15 @@
+fn f<T>() int {
+	$if T is int {
+		return 1
+	}
+	$if T !is int {
+		return -1
+	}
+	assert false
+	return 0
+}
+
+fn test_generic_is() {
+	assert f<int>() == 1
+	assert f<bool>() == -1
+}