checker: fix if expr with compound conditions

yuyi98 · Oct 16, 2024 · 8fbc6df · 8fbc6df
1 parent 3e697fe
commit 8fbc6df
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/vlib/v/checker/infix.v b/vlib/v/checker/infix.v
@@ -1052,6 +1052,9 @@ fn (mut c Checker) autocast_in_if_conds(mut right ast.Expr, from_expr ast.Expr,
 			c.autocast_in_if_conds(mut right.left, from_expr, from_type, to_type)
 			c.autocast_in_if_conds(mut right.right, from_expr, from_type, to_type)
 		}
+		ast.IndexExpr {
+			c.autocast_in_if_conds(mut right.left, from_expr, from_type, to_type)
+		}
 		else {}
 	}
 }
diff --git a/vlib/v/tests/conditions/ifs/if_expr_with_compound_conds_test.v b/vlib/v/tests/conditions/ifs/if_expr_with_compound_conds_test.v
@@ -0,0 +1,9 @@
+type Foo = int | []int
+
+fn test_if_expr_with_compound_conds() {
+	a := Foo([3])
+	if a is []int && a[0] == 3 {
+		println('works')
+	}
+	assert true
+}