type_resolver: i32 is now $int too (fix #24346) (#24378)

kbkpbot · web-flow · commit 44a497550477 · 2025-05-01T09:12:35.000+03:00
diff --git a/vlib/v/tests/comptime/comptime_if_is_test.v b/vlib/v/tests/comptime/comptime_if_is_test.v
@@ -26,3 +26,10 @@ fn test_is_or() {
 	assert g(i8(1)) == 1
 	assert g(1) == 2
 }
+
+fn test_i32_is_int() {
+	a := i32(33)
+	$if a !is $int {
+		assert false
+	}
+}
diff --git a/vlib/v/type_resolver/comptime_resolver.v b/vlib/v/type_resolver/comptime_resolver.v
@@ -250,7 +250,7 @@ pub fn (t &TypeResolver) is_comptime_type(x ast.Type, y ast.ComptimeType) bool {
 			return x_kind == .string
 		}
 		.int {
-			return x_kind in [.i8, .i16, .int, .i64, .u8, .u16, .u32, .u64, .usize, .isize,
+			return x_kind in [.i8, .i16, .i32, .int, .i64, .u8, .u16, .u32, .u64, .usize, .isize,
 				.int_literal]
 		}
 		.float {
diff --git a/vlib/x/json2/encoder.v b/vlib/x/json2/encoder.v
@@ -186,8 +186,7 @@ fn (e &Encoder) encode_value_with_level[T](val T, level int, mut buf []u8) ! {
 	} $else $if T is $enum {
 		str_int := int(val).str()
 		unsafe { buf.push_many(str_int.str, str_int.len) }
-	} $else $if T is $int || T is bool || T is i32 {
-		// bug? `i32` not in `$int`?
+	} $else $if T is $int || T is bool {
 		str_int := val.str()
 		unsafe { buf.push_many(str_int.str, str_int.len) }
 	} $else $if T is $float {

Original file line number	Diff line number	Diff line change
`@@ -250,7 +250,7 @@ pub fn (t &TypeResolver) is_comptime_type(x ast.Type, y ast.ComptimeType) bool {`
`250`	`250`	`return x_kind == .string`
`251`	`251`	`}`
`252`	`252`	`.int {`
`253`		`- return x_kind in [.i8, .i16, .int, .i64, .u8, .u16, .u32, .u64, .usize, .isize,`
	`253`	`+ return x_kind in [.i8, .i16, .i32, .int, .i64, .u8, .u16, .u32, .u64, .usize, .isize,`
`254`	`254`	`.int_literal]`
`255`	`255`	`}`
`256`	`256`	`.float {`