File tree Expand file tree Collapse file tree 1 file changed +7
-4
lines changed
rust/ql/lib/codeql/rust/frameworks Expand file tree Collapse file tree 1 file changed +7
-4
lines changed Original file line number Diff line number Diff line change 5
5
private import rust
6
6
private import codeql.rust.Concepts
7
7
private import codeql.rust.dataflow.DataFlow
8
+ private import codeql.rust.internal.TypeInference
9
+ private import codeql.rust.internal.Type
8
10
9
11
/**
10
12
* Parameters of a handler function
11
13
*/
12
14
private class PoemHandlerParam extends RemoteSource:: Range {
13
15
PoemHandlerParam ( ) {
14
- exists ( TupleStructPat param |
15
- param .getResolvedPath ( ) = [ "crate::web::query::Query" , "crate::web::path::Path" ]
16
- |
17
- this .asPat ( ) .getPat ( ) = param .getAField ( )
16
+ exists ( TupleStructPat param , Type t |
17
+ this .asPat ( ) .getPat ( ) = param .getAField ( ) and
18
+ t = inferType ( param ) and
19
+ t .( StructType ) .asItemNode ( ) .( Addressable ) .getCanonicalPath ( ) =
20
+ [ "poem::web::query::Query" , "poem::web::path::Path" ]
18
21
)
19
22
}
20
23
}
You can’t perform that action at this time.
0 commit comments