From 00807fffa6769daea8e9b715a0da9bab835e1cc6 Mon Sep 17 00:00:00 2001
From: xvw <xaviervdw@gmail.com>
Date: Mon, 4 Mar 2024 16:40:42 +0100
Subject: [PATCH] Add test in case of multiple patterns

---
 tests/test-dirs/destruct/issue1661.t | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/tests/test-dirs/destruct/issue1661.t b/tests/test-dirs/destruct/issue1661.t
index 63f8af9fe..c307be6a4 100644
--- a/tests/test-dirs/destruct/issue1661.t
+++ b/tests/test-dirs/destruct/issue1661.t
@@ -20,3 +20,27 @@
     ],
     "notifications": []
   }
+
+
+  $ $MERLIN single case-analysis -start 2:9 -end 2:9 \
+  > -filename main.ml <<EOF
+  > type t = {a: int option; b: string}
+  > let f ({a; b} : t) = assert false
+  > EOF
+  {
+    "class": "return",
+    "value": [
+      {
+        "start": {
+          "line": 2,
+          "col": 7
+        },
+        "end": {
+          "line": 2,
+          "col": 13
+        }
+      },
+      "({ a = None; b } : t) | ({ a = Some _; b } : t)"
+    ],
+    "notifications": []
+  }