chore(dart): point semgrep-dart submodule at canonical upstream

Switch the submodule URL from the AlexLaroche fork back to returntocorp/semgrep-dart, and bump the pointer to 0202e42 (yosef's just-merged PR #1, regenerated against UserNobody14/tree-sitter-dart 02e9bb19). Drop the `Labe_stmt` arm from the OCaml mapper: enabling `$.labeled_statement` was a local patch on top of the upstream grammar snapshot and isn't on UserNobody14/tree-sitter-dart yet, so it can't ride along with a canonical-upstream submodule pointer. Labeled statements weren't supported on develop either, so this is not a regression; it can be re-introduced in a follow-up once the grammar change lands upstream. Also add changelog entries for PR #11678.
semgrep · AlexLaroche · May 2, 2026 · May 2, 2026 · May 2, 2026 · May 2, 2026
commit 15c9a6faf6802b24455466fef765277c2fe55b52
diff --git a/.gitmodules b/.gitmodules
@@ -108,7 +108,7 @@ url = https://github.com/returntocorp/semgrep-promql.git
 
 [submodule "OSS/languages/dart/tree-sitter/semgrep-dart"]
 path = languages/dart/tree-sitter/semgrep-dart
-url = https://github.com/AlexLaroche/semgrep-dart.git
+url = https://github.com/returntocorp/semgrep-dart
 
 [submodule "OSS/languages/ql/tree-sitter/semgrep-ql"]
 path = languages/ql/tree-sitter/semgrep-ql

diff --git a/changelog.d/gh-11678.added b/changelog.d/gh-11678.added
@@ -0,0 +1,3 @@
+Dart: typed metavariables (`$X as T`) and `metavariable-type`,
+metavariable binding inside string interpolations, and function-definition
+patterns that match Dart function definitions.
diff --git a/changelog.d/gh-11678.fixed b/changelog.d/gh-11678.fixed
@@ -0,0 +1,4 @@
+Dart: improved parser fidelity for Dart 3 grammar features and routed
+pattern parsing for statements beginning with `await`, `rethrow`, and other
+statement keywords. Eliminates a large class of `PartialParsing` errors on
+real-world pub.dev packages.
diff --git a/languages/dart/generic/Parse_dart_tree_sitter.ml b/languages/dart/generic/Parse_dart_tree_sitter.ml
@@ -2962,14 +2962,6 @@ and map_statement (env : env) (x : CST.statement) : stmt list =
       let tok, args = map_assertion env v1 in
       let sc = (* ";" *) map_semicolon env v2 in
       [ Assert (tok, args, sc) |> G.s ]
-  | `Labe_stmt (v1, v2, v3) ->
-      (* Dart's labeled_statement: `<id>: <stmt>`. The label can be the
-         target of `break <id>;` / `continue <id>;` from inside any
-         statement, not just loops. *)
-      let label = (* identifier *) str env v1 in
-      let _colon = (* ":" *) token env v2 in
-      let stmts = map_statement env v3 in
-      [ Label (label, G.stmt1 stmts) |> G.s ]
   | `Empty_stmt tok ->
       (* `;` — empty/null statement; emit an empty Block. *)
       let _sc = (* ";" *) token env tok in

diff --git a/languages/dart/tree-sitter/semgrep-dart b/languages/dart/tree-sitter/semgrep-dart