fix advanced resolver walk_list_if_item_expr

Signed-off-by: he1pa <[email protected]>

kclvm/sema/src/advanced_resolver/node.rs

@@ -583,6 +583,7 @@ impl<'ctx> MutSelfTypedResultWalker<'ctx> for AdvancedResolver<'ctx> {
         &mut self,
         list_if_item_expr: &'ctx ast::ListIfItemExpr,
     ) -> Self::Result {
+        self.expr(&list_if_item_expr.if_cond)?;
         if let Some(orelse) = &list_if_item_expr.orelse {
             self.expr(orelse);
         }

kclvm/tools/src/LSP/src/goto_def.rs

@@ -664,4 +664,19 @@ mod tests {
         let res = goto_definition_with_gs(&program, &pos, &gs);
         compare_goto_res(res, (&file, 84, 22, 84, 23));
     }
+
+    #[test]
+    #[bench_test]
+    fn list_if_expr_test() {
+        let (file, program, _, _, gs) = compile_test_file("src/test_data/goto_def_test/goto_def.k");
+
+        let pos = KCLPos {
+            filename: file.clone(),
+            line: 91,
+            column: Some(8),
+        };
+
+        let res = goto_definition_with_gs(&program, &pos, &gs);
+        compare_goto_res(res, (&file, 88, 0, 88, 1));
+    }
 }

kclvm/tools/src/LSP/src/test_data/goto_def_test/goto_def.k

@@ -84,4 +84,10 @@ p4 = Person {
 
 func = lambda x: int, y: int -> int {
     x + y
-}
+}
+
+b = True
+command: [str] = [
+    if b:
+        "a"
+]