Rust: Test dependency modules disabled by richer configurations

Cover macro expansion in a dependency module that is inactive under the preferred configuration, including richer, tied, and reversed manifest cases.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: d675ac38-ec3b-47ee-8b48-268c63fc7777

Author: paldepind

rust/ql/integration-tests/dependency-features/dependencies/alpha/src/lib.rs

@@ -1,6 +1,12 @@
-#[cfg(feature = "a")]
+#[cfg(all(feature = "a", feature = "b"))]
 pub fn a() {}
 
+#[cfg(all(feature = "a", not(feature = "b")))]
+mod only_a;
+
+#[cfg(all(feature = "a", not(feature = "b")))]
+pub use only_a::a;
+
 #[cfg(feature = "b")]
 pub fn b() {}
 

rust/ql/integration-tests/dependency-features/dependencies/alpha/src/only_a.rs

@@ -0,0 +1,7 @@
+macro_rules! define_a {
+    () => {
+        pub fn a() {}
+    };
+}
+
+define_a!();

rust/ql/integration-tests/dependency-features/inactive-module.ql

@@ -0,0 +1,5 @@
+import rust
+
+from Function f
+where f.getFile().getBaseName() = "only_a.rs"
+select f, f.getName()

rust/ql/integration-tests/dependency-features/inactive-module.rich.expected

@@ -0,0 +1 @@
+| dependencies/alpha/src/only_a.rs:7:1:7:9 | fn a | dependencies/alpha/src/only_a.rs:7:1:7:9 | a |

rust/ql/integration-tests/dependency-features/inactive-module.rich.reversed.expected

@@ -0,0 +1 @@
+| dependencies/alpha/src/only_a.rs:7:1:7:9 | fn a | dependencies/alpha/src/only_a.rs:7:1:7:9 | a |

rust/ql/integration-tests/dependency-features/inactive-module.tie.expected

@@ -0,0 +1 @@
+| dependencies/alpha/src/only_a.rs:7:1:7:9 | fn a | dependencies/alpha/src/only_a.rs:7:1:7:9 | a |

rust/ql/integration-tests/dependency-features/inactive-module.tie.reversed.expected

@@ -0,0 +1 @@
+| dependencies/alpha/src/only_a.rs:7:1:7:9 | fn a | dependencies/alpha/src/only_a.rs:7:1:7:9 | a |

rust/ql/integration-tests/dependency-features/test_dependency_features.py

@@ -52,6 +52,10 @@ def test_dependency_features(codeql, rust, cwd, configurations, reverse):
     to different calls depending on the enabled features. The `functions.ql`
     query checks which calls and targets are extracted for the `src/lib.rs`
     files.
+
+    Alpha's `only_a` module is disabled by feature `b`. Its item macro must still
+    be expanded using a configuration in which the module is enabled, even when
+    a richer configuration wins for alpha's other files.
     """
     if reverse:
         configurations = configurations[::-1]