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

Rust: add test cases for basic unwrapping and pattern matching

Browse Source
This commit is contained in:
Arthur Baars
2025-07-09 14:16:14 +02:00
parent 7c5cdd9a9b
commit cc5e6b2195
2 changed files with 54 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2285,3 +2285,26 @@ fn main() {
tuples::f(); // $ method=f
dereference::test(); // $ method=test
}
pub mod unwrap {
pub fn test_unwrapping() -> Option<()> {
let value = Some(42);
if let Some(mesg) = value {
let mesg = mesg; // $ MISSING: type=mesg:i32
println!("{mesg}");
}
match value {
Some(mesg) => {
let mesg = mesg; // $ MISSING: type=mesg:i32
println!("{mesg}");
}
None => (),
};
let mesg = value.unwrap(); // $ method=unwrap
let mesg = mesg; // $ type=mesg:i32
println!("{mesg}");
let mesg = value?; // $ type=mesg:i32
println!("{mesg}");
None
}
}

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

@@ -3644,4 +3644,35 @@ inferType
| main.rs:2262:20:2262:38 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2262:41:2262:59 | ...::Foo {...} | | main.rs:72:5:72:21 | Foo |
| main.rs:2278:5:2278:15 | ...::f(...) | | {EXTERNAL LOCATION} | trait Future |
| main.rs:2290:44:2309:5 | { ... } | | {EXTERNAL LOCATION} | Option |
| main.rs:2291:13:2291:17 | value | | {EXTERNAL LOCATION} | Option |
| main.rs:2291:13:2291:17 | value | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2291:21:2291:28 | Some(...) | | {EXTERNAL LOCATION} | Option |
| main.rs:2291:21:2291:28 | Some(...) | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2291:26:2291:27 | 42 | | {EXTERNAL LOCATION} | i32 |
| main.rs:2292:29:2292:33 | value | | {EXTERNAL LOCATION} | Option |
| main.rs:2292:29:2292:33 | value | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2294:22:2294:29 | "{mesg}\\n" | | file://:0:0:0:0 | & |
| main.rs:2294:22:2294:29 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2296:15:2296:19 | value | | {EXTERNAL LOCATION} | Option |
| main.rs:2296:15:2296:19 | value | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2299:26:2299:33 | "{mesg}\\n" | | file://:0:0:0:0 | & |
| main.rs:2299:26:2299:33 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2303:13:2303:16 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2303:20:2303:24 | value | | {EXTERNAL LOCATION} | Option |
| main.rs:2303:20:2303:24 | value | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2303:20:2303:33 | value.unwrap() | | {EXTERNAL LOCATION} | i32 |
| main.rs:2304:13:2304:16 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2304:20:2304:23 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2305:18:2305:25 | "{mesg}\\n" | | file://:0:0:0:0 | & |
| main.rs:2305:18:2305:25 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2305:20:2305:23 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2306:13:2306:16 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2306:20:2306:24 | value | | {EXTERNAL LOCATION} | Option |
| main.rs:2306:20:2306:24 | value | T | {EXTERNAL LOCATION} | i32 |
| main.rs:2306:20:2306:25 | TryExpr | | {EXTERNAL LOCATION} | i32 |
| main.rs:2307:18:2307:25 | "{mesg}\\n" | | file://:0:0:0:0 | & |
| main.rs:2307:18:2307:25 | "{mesg}\\n" | &T | {EXTERNAL LOCATION} | str |
| main.rs:2307:20:2307:23 | mesg | | {EXTERNAL LOCATION} | i32 |
| main.rs:2308:9:2308:12 | None | | {EXTERNAL LOCATION} | Option |
testFailures