hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 09:15:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20160 from geoffw0/exec

Browse Source 
Rust: Add type inference test cases resembling missing call targets in SQLx.
This commit is contained in:
Geoffrey White
2025-08-04 16:03:12 +01:00
committed by GitHub
parent 6925d4e564 2ec6dafd18
commit 8b5603cf71
2 changed files with 85 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
rust/ql/test/library-tests/type-inference/main.rs
View File

@@ -2484,6 +2484,45 @@ pub mod pattern_matching_experimental {
}
}
pub mod exec {
// a *greatly* simplified model of `MySqlConnection.execute` in SQLX
trait Connection {
}
trait Executor {
fn execute1(&self);
fn execute2<E>(&self, query: E);
}
impl<T: Connection> Executor for T {
fn execute1(&self) {
println!("Executor::execute1");
}
fn execute2<E>(&self, _query: E) {
println!("Executor::execute2");
}
}
struct MySqlConnection {}
impl Connection for MySqlConnection {}
pub fn f() {
let c = MySqlConnection {}; // $ type=c:MySqlConnection
c.execute1(); // $ MISSING: target=execute1
MySqlConnection::execute1(&c); // $ MISSING: target=execute1
c.execute2("SELECT * FROM users"); // $ MISSING: target=execute2
c.execute2::<&str>("SELECT * FROM users"); // $ MISSING: target=execute2
MySqlConnection::execute2(&c, "SELECT * FROM users"); // $ MISSING: target=execute2
MySqlConnection::execute2::<&str>(&c, "SELECT * FROM users"); // $ MISSING: target=execute2
}
}
mod closure;
mod dereference;
mod dyn_type;
@@ -2515,6 +2554,7 @@ fn main() {
macros::f(); // $ target=f
method_determined_by_argument_type::f(); // $ target=f
tuples::f(); // $ target=f
exec::f(); // $ target=f
dereference::test(); // $ target=test
pattern_matching::test_all_patterns(); // $ target=test_all_patterns
pattern_matching_experimental::box_patterns(); // $ target=box_patterns

50
rust/ql/test/library-tests/type-inference/type-inference.expected
View File

@@ -4840,11 +4840,51 @@ inferType
| main.rs:2481:26:2481:43 | "Nested boxed: {}\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2481:26:2481:59 | FormatArgsExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2481:26:2481:59 | MacroExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2493:5:2493:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
| main.rs:2494:5:2494:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
| main.rs:2494:20:2494:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2494:41:2494:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2510:5:2510:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
| main.rs:2494:21:2494:25 | SelfParam | | file://:0:0:0:0 | & |
| main.rs:2494:21:2494:25 | SelfParam | &T | main.rs:2493:5:2496:5 | Self [trait Executor] |
| main.rs:2495:24:2495:28 | SelfParam | | file://:0:0:0:0 | & |
| main.rs:2495:24:2495:28 | SelfParam | &T | main.rs:2493:5:2496:5 | Self [trait Executor] |
| main.rs:2495:31:2495:35 | query | | main.rs:2495:21:2495:21 | E |
| main.rs:2499:21:2499:25 | SelfParam | | file://:0:0:0:0 | & |
| main.rs:2499:21:2499:25 | SelfParam | &T | main.rs:2498:10:2498:22 | T |
| main.rs:2500:22:2500:41 | "Executor::execute1\\n" | | file://:0:0:0:0 | & |
| main.rs:2500:22:2500:41 | "Executor::execute1\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2500:22:2500:41 | FormatArgsExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2500:22:2500:41 | MacroExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2503:24:2503:28 | SelfParam | | file://:0:0:0:0 | & |
| main.rs:2503:24:2503:28 | SelfParam | &T | main.rs:2498:10:2498:22 | T |
| main.rs:2503:31:2503:36 | _query | | main.rs:2503:21:2503:21 | E |
| main.rs:2504:22:2504:41 | "Executor::execute2\\n" | | file://:0:0:0:0 | & |
| main.rs:2504:22:2504:41 | "Executor::execute2\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2504:22:2504:41 | FormatArgsExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2504:22:2504:41 | MacroExpr | | {EXTERNAL LOCATION} | Arguments |
| main.rs:2513:13:2513:13 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2513:17:2513:34 | MySqlConnection {...} | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2515:9:2515:9 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2516:35:2516:36 | &c | | file://:0:0:0:0 | & |
| main.rs:2516:35:2516:36 | &c | &T | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2516:36:2516:36 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2518:9:2518:9 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2518:20:2518:40 | "SELECT * FROM users" | | file://:0:0:0:0 | & |
| main.rs:2518:20:2518:40 | "SELECT * FROM users" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2519:9:2519:9 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2519:28:2519:48 | "SELECT * FROM users" | | file://:0:0:0:0 | & |
| main.rs:2519:28:2519:48 | "SELECT * FROM users" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2520:35:2520:36 | &c | | file://:0:0:0:0 | & |
| main.rs:2520:35:2520:36 | &c | &T | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2520:36:2520:36 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2520:39:2520:59 | "SELECT * FROM users" | | file://:0:0:0:0 | & |
| main.rs:2520:39:2520:59 | "SELECT * FROM users" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2521:43:2521:44 | &c | | file://:0:0:0:0 | & |
| main.rs:2521:43:2521:44 | &c | &T | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2521:44:2521:44 | c | | main.rs:2508:5:2508:29 | MySqlConnection |
| main.rs:2521:47:2521:67 | "SELECT * FROM users" | | file://:0:0:0:0 | & |
| main.rs:2521:47:2521:67 | "SELECT * FROM users" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2532:5:2532:20 | ...::f(...) | | main.rs:72:5:72:21 | Foo |
| main.rs:2533:5:2533:60 | ...::g(...) | | main.rs:72:5:72:21 | Foo |
| main.rs:2533:20:2533:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2533:41:2533:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2549:5:2549:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
| pattern_matching.rs:13:26:133:1 | { ... } | | {EXTERNAL LOCATION} | Option |
| pattern_matching.rs:13:26:133:1 | { ... } | T | file://:0:0:0:0 | () |
| pattern_matching.rs:14:9:14:13 | value | | {EXTERNAL LOCATION} | Option |