Rust: suppress semantics for source files included via include!

Author: redsun82

rust/extractor/src/main.rs

@@ -167,9 +167,19 @@ impl<'a> Extractor<'a> {
         let Some(id) = path_to_file_id(file, vfs) else {
             return Err("not included in files loaded from manifest".to_string());
         };
-        if semantics.file_to_module_def(id).is_none() {
-            return Err("not included as a module".to_string());
-        }
+        match semantics.file_to_module_def(id) {
+            None => return Err("not included as a module".to_string()),
+            Some(module)
+                if module
+                    .as_source_file_id(semantics.db)
+                    .is_none_or(|mod_file_id| mod_file_id.file_id(semantics.db) != id) =>
+            {
+                return Err(
+                    "not loaded as its own module, probably included by `!include`".to_string(),
+                );
+            }
+            _ => {}
+        };
         self.steps.push(ExtractionStep::load_source(before, file));
         Ok(())
     }

rust/ql/integration-tests/macro-expansion/test.expected

@@ -38,5 +38,5 @@ unexpanded_macro_calls
 | calls/src/lib.rs:22:9:22:31 | concat!... |
 | calls/src/lib.rs:29:9:29:32 | include_str!... |
 warnings
-| calls/src/included.rs:2:9:2:39 | macro expansion failed: could not resolve macro 'concat' |
+| calls/src/included.rs:1:1:1:1 | semantic analyzer unavailable (not loaded as its own module, probably included by `!include`) |
 | calls/src/lib.rs:22:9:22:31 | macro expansion failed: could not resolve macro 'concat' |