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 55private import rust
66private import codeql.rust.Concepts
77private import codeql.rust.dataflow.DataFlow
8+ private import codeql.rust.internal.TypeInference
9+ private import codeql.rust.internal.Type
810
911/**
1012 * Parameters of a handler function
1113 */
1214private class PoemHandlerParam extends RemoteSource:: Range {
1315 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" ]
1821 )
1922 }
2023}
You can’t perform that action at this time.
0 commit comments