Allow matching when enum1 is fully contained within enum2

Author: xuhuanzy

crates/emmylua_code_analysis/src/db_index/type/type_decl.rs

@@ -192,7 +192,8 @@ impl LuaTypeDecl {
                 let fake_type = match member_key {
                     LuaMemberKey::Name(name) => LuaType::DocStringConst(name.clone().into()),
                     LuaMemberKey::Integer(i) => LuaType::IntegerConst(i.clone()),
-                    LuaMemberKey::None | LuaMemberKey::ExprType(_) => continue,
+                    LuaMemberKey::ExprType(typ) => typ.clone(),
+                    LuaMemberKey::None => continue,
                 };
 
                 union_types.push(fake_type);

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

@@ -1044,4 +1044,49 @@ mod test {
         "#
         ));
     }
+
+    #[test]
+    fn test_enum_value_matching() {
+        let mut ws = VirtualWorkspace::new();
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+                ---@enum SlotType
+                local SlotType = {
+                    bag = 0,
+                    item = 1,
+                }
+
+                ---@enum ConstSlotType
+                local ConstSlotType = {
+                    ['NOT_IN_BAG'] = -1,
+                    ['PKG'] = 0,
+                    ['BAR'] = 1,
+                }
+
+                ---@param type ConstSlotType
+                local function get_item_by_slot(type)
+                end
+
+                ---@param field SlotType
+                local function bind_unit_slot(field)
+                    get_item_by_slot(field)
+                end"#
+        ));
+    }
+
+    #[test]
+    fn test_enum_value_matching_2() {
+        let mut ws = VirtualWorkspace::new_with_init_std_lib();
+        assert!(ws.check_code_for(
+            DiagnosticCode::ParamTypeNotMatch,
+            r#"
+                ---@enum DamageType
+                local DamageType = {
+                    ['物理'] = "物理",
+                }
+                for _, damageType in pairs(DamageType) do end
+            "#
+        ));
+    }
 }