Shared, Rust: Ensure that the constraints in satisfiesConstraintType are in relevantConstraint

shared/typeinference/codeql/typeinference/internal/TypeInference.qll

@@ -989,7 +989,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
           path = prefix0.append(suffix)
         )
         or
-        tt.getTypeAt(TypePath::nil()) = constraint and
+        hasTypeConstraint(tt, constraint, constraint) and
         t = tt.getTypeAt(path)
       }
     }