Rust: support glob members in workspaces

rust/ql/integration-tests/workspace-with-glob/Cargo.toml

@@ -0,0 +1,4 @@
+[workspace]
+members = [ "*" ]
+exclude = [ "other" ]
+resolver = "2"

rust/ql/integration-tests/workspace-with-glob/exe/Cargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "exe"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+lib = { path = "../lib" }

rust/ql/integration-tests/workspace-with-glob/exe/src/main.rs

@@ -0,0 +1,5 @@
+use lib::hello;
+
+fn main() {
+    hello();
+}

rust/ql/integration-tests/workspace-with-glob/lib/Cargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "lib"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]

rust/ql/integration-tests/workspace-with-glob/lib/src/lib.rs

@@ -0,0 +1,3 @@
+pub fn hello() {
+    println!("Hello, world!");
+}

rust/ql/integration-tests/workspace-with-glob/other/Cargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "other"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]

rust/ql/integration-tests/workspace-with-glob/source_archive.expected

@@ -0,0 +1,3 @@
+exe/src/main.rs
+lib/src/lib.rs
+other/src/lib.rs

rust/ql/integration-tests/workspace-with-glob/steps.expected

@@ -0,0 +1,10 @@
+| Cargo.toml:0:0:0:0 | LoadManifest(Cargo.toml) |
+| exe/src/main.rs:0:0:0:0 | Extract(exe/src/main.rs) |
+| exe/src/main.rs:0:0:0:0 | Parse(exe/src/main.rs) |
+| file://:0:0:0:0 | FindManifests |
+| lib/src/lib.rs:0:0:0:0 | Extract(lib/src/lib.rs) |
+| lib/src/lib.rs:0:0:0:0 | Parse(lib/src/lib.rs) |
+| other/Cargo.toml:0:0:0:0 | LoadManifest(other/Cargo.toml) |
+| other/src/lib.rs:0:0:0:0 | Extract(other/src/lib.rs) |
+| other/src/lib.rs:0:0:0:0 | LoadSource(other/src/lib.rs) |
+| other/src/lib.rs:0:0:0:0 | Parse(other/src/lib.rs) |

rust/ql/integration-tests/workspace-with-glob/steps.ql

@@ -0,0 +1,4 @@
+import codeql.rust.elements.internal.ExtractorStep
+
+from ExtractorStep step
+select step

rust/ql/integration-tests/workspace-with-glob/test_workspace.py

@@ -0,0 +1,5 @@
+import pytest
+
+
+def test_cargo(codeql, rust, check_source_archive):
+    codeql.database.create()