update

Author: CppCXY

crates/emmylua_code_analysis/src/compilation/analyzer/lua/stats.rs

@@ -27,7 +27,7 @@ pub fn analyze_local_stat(analyzer: &mut LuaAnalyzer, local_stat: LuaLocalStat)
             analyzer
                 .db
                 .get_type_index_mut()
-                .bind_type(decl_id.into(), LuaTypeCache::InferType(LuaType::Unknown));
+                .bind_type(decl_id.into(), LuaTypeCache::InferType(LuaType::Nil));
         }
 
         return Some(());

crates/emmylua_code_analysis/src/compilation/test/flow.rs

@@ -461,7 +461,7 @@ end
         );
 
         let b = ws.expr_ty("b");
-        let b_expected = ws.ty("unknown");
+        let b_expected = ws.ty("nil");
         assert_eq!(b, b_expected);
     }
 

crates/emmylua_code_analysis/src/compilation/test/static_cal_cmp.rs

@@ -47,8 +47,7 @@ mod test {
         "#,
         );
         let left = ws.expr_ty("d");
-        println!("{:?}", ws.humanize_type(left));
-        // assert_eq!(ws.humanize_type(left), "1?");
+        assert_eq!(ws.humanize_type(left), "nil");
     }
 
     #[test]

crates/emmylua_code_analysis/src/diagnostic/test/unnecessary_assert_test.rs

@@ -12,9 +12,6 @@ mod test {
         assert!(ws.check_code_for(
             DiagnosticCode::UnnecessaryAssert,
             r#"
-            local a
-            assert(a)
-
             ---@type boolean
             local b
             assert(b)