Support intersection type navigation

Author: xuhuanzy

crates/emmylua_code_analysis/src/semantic/semantic_info/infer_expr_semantic_decl.rs

@@ -4,9 +4,9 @@ use emmylua_parser::{
 };
 
 use crate::{
-    DbIndex, LuaDeclId, LuaDeclOrMemberId, LuaInferCache, LuaInstanceType, LuaMemberId,
-    LuaMemberKey, LuaMemberOwner, LuaSemanticDeclId, LuaType, LuaTypeCache, LuaTypeDeclId,
-    LuaUnionType,
+    DbIndex, LuaDeclId, LuaDeclOrMemberId, LuaInferCache, LuaInstanceType, LuaIntersectionType,
+    LuaMemberId, LuaMemberKey, LuaMemberOwner, LuaSemanticDeclId, LuaType, LuaTypeCache,
+    LuaTypeDeclId, LuaUnionType,
     semantic::{
         infer::find_self_decl_or_member_id, member::get_buildin_type_map_type_id,
         semantic_info::resolve_global_decl_id,
@@ -297,6 +297,13 @@ fn infer_member_semantic_decl_by_member_key(
                 None
             }
         }
+        LuaType::Intersection(intersection_type) => infer_intersection_member_semantic_info(
+            db,
+            cache,
+            intersection_type,
+            member_key,
+            semantic_guard.next_level()?,
+        ),
         _ => None,
     }
 }
@@ -416,3 +423,25 @@ fn infer_global_member_semantic_decl_by_member_key(
     let name = member_key.get_name()?;
     resolve_global_decl_id(db, cache, name, None).map(LuaSemanticDeclId::LuaDecl)
 }
+
+fn infer_intersection_member_semantic_info(
+    db: &DbIndex,
+    cache: &mut LuaInferCache,
+    intersection_type: &LuaIntersectionType,
+    member_key: &LuaMemberKey,
+    semantic_guard: SemanticDeclGuard,
+) -> Option<LuaSemanticDeclId> {
+    for typ in intersection_type.get_types() {
+        if let Some(property_owner_id) = infer_member_semantic_decl_by_member_key(
+            db,
+            cache,
+            typ,
+            member_key,
+            semantic_guard.next_level()?,
+        ) {
+            return Some(property_owner_id);
+        }
+    }
+
+    None
+}

crates/emmylua_ls/src/handlers/test/definition_test.rs

@@ -554,4 +554,30 @@ mod tests {
 
         Ok(())
     }
+
+    #[gtest]
+    fn test_intersection() -> Result<()> {
+        let mut ws = ProviderVirtualWorkspace::new();
+        ws.def(
+            r#"
+        ---@class Matchers
+        ---@field toBe fun(expected: any)
+
+        ---@class Inverse
+        ---@field negate number
+        "#,
+        );
+        check!(ws.check_definition(
+            r#"
+            ---@type Matchers & Inverse
+            local a
+            a.ne<??>gate = 0
+            "#,
+            vec![Expected {
+                file: "".to_string(),
+                line: 5,
+            },],
+        ));
+        Ok(())
+    }
 }