Merge pull request #19801 from geoffw0/poem

Rust: Update PoemHandlerParam to use getCanonicalPath

Author: hvitved

rust/ql/lib/codeql/rust/elements/internal/TupleStructPatImpl.qll

@@ -34,6 +34,11 @@ module Impl {
       exists(this.getField(pragma[only_bind_into](pos)))
     }
 
+    /**
+     * Gets the struct matched by this pattern.
+     */
+    Struct getStruct() { result = PathResolution::resolvePath(this.getPath()) }
+
     /** Gets the tuple field that matches the `pos`th pattern of this pattern. */
     pragma[nomagic]
     TupleField getTupleField(int pos) {

rust/ql/lib/codeql/rust/frameworks/Poem.qll

@@ -4,17 +4,15 @@
 
 private import rust
 private import codeql.rust.Concepts
-private import codeql.rust.dataflow.DataFlow
 
 /**
  * Parameters of a handler function
  */
 private class PoemHandlerParam extends RemoteSource::Range {
   PoemHandlerParam() {
     exists(TupleStructPat param |
-      param.getResolvedPath() = ["crate::web::query::Query", "crate::web::path::Path"]
-    |
-      this.asPat().getPat() = param.getAField()
+      this.asPat().getPat() = param.getAField() and
+      param.getStruct().getCanonicalPath() = ["poem::web::query::Query", "poem::web::path::Path"]
     )
   }
 }