Merge branch 'main' into switch-parameters

Author: chanel-y

.github/workflows/sync-main-tags.yml

@@ -0,0 +1,27 @@
+name: Sync Main Tags
+
+on:
+  pull_request:
+    types:
+      - closed
+    branches:
+      - main
+
+jobs:
+  sync-main-tags:
+    name: Sync Main Tags
+    runs-on: ubuntu-latest
+    if: github.repository == 'microsoft/codeql' && github.event.pull_request.merged == true && github.event.pull_request.head.ref == 'auto/sync-main-pr'
+    permissions:
+      contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+      - name: Push Tags
+        run: |
+          git fetch upstream --tags --force
+          git push --force origin --tags
+        env:
+          GH_TOKEN: ${{ secrets.WORKFLOW_TOKEN }}

rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

@@ -95,7 +95,7 @@ final class DataFlowCall extends TDataFlowCall {
 
   //** TODO JB1: Move to subclass, monkey patching for #153 */
   DataFlowCallable getARuntimeTarget(){ none() }
-  Node::ArgumentNode getAnArgumentNode(){ none() }
+  ArgumentNode getAnArgumentNode(){ none() }
   int totalorder(){ none() }
   //** TODO JB1: end stubs for #153 */
 }