From 140f2431311271256ffbc17cae7379731eee50b4 Mon Sep 17 00:00:00 2001
From: "Paul W." <contact@paulw.xyz>
Date: Sun, 1 Nov 2026 00:56:08 -0400
Subject: [PATCH] Drop the conflict the generator no longer needs

---
 grammar.js       | 1 -
 src/grammar.json | 3 ---
 2 files changed, 4 deletions(-)

diff --git a/grammar.js b/grammar.js
index 10a0506..dc0e47a 100644
--- a/grammar.js
+++ b/grammar.js
@@ -68,7 +68,6 @@ module.exports = grammar({
     [$.match_expression, $._scope_separator],
     [$.product_constructor, $._scope_separator],
     [$.tuple_type],
-    [$.type_application],
     [$.binder],
     [$.tuple_pattern],
     [$.product_pattern],
diff --git a/src/grammar.json b/src/grammar.json
index 1cb13f1..12a3db8 100644
--- a/src/grammar.json
+++ b/src/grammar.json
@@ -5918,9 +5918,6 @@
     [
       "tuple_type"
     ],
-    [
-      "type_application"
-    ],
     [
       "binder"
     ],