Rust: Add certain type information for struct patterns

Author: paldepind

rust/ql/lib/codeql/rust/internal/TypeInference.qll

@@ -376,6 +376,10 @@ module CertainTypeInference {
     result = se.getPath().(TypeMention).resolveTypeAt(path)
   }
 
+  private Type inferCertainStructPatType(StructPat sp, TypePath path) {
+    result = sp.getPath().(TypeMention).resolveTypeAt(path)
+  }
+
   predicate certainTypeEquality(AstNode n1, TypePath prefix1, AstNode n2, TypePath prefix2) {
     prefix1.isEmpty() and
     prefix2.isEmpty() and
@@ -446,6 +450,8 @@ module CertainTypeInference {
     or
     result = inferCertainStructExprType(n, path)
     or
+    result = inferCertainStructPatType(n, path)
+    or
     result = inferRangeExprType(n) and
     path.isEmpty()
     or