From 1236c4bec55d3bac0c323aa55cebfd96aa72df4b Mon Sep 17 00:00:00 2001
From: Mikael Mayer <mimayere@amazon.com>
Date: Fri, 4 Nov 2022 14:19:55 -0500
Subject: [PATCH] Add test for issue #2139

---
 Test/git-issues/git-issue-2139.dfy        | 11 +++++++++++
 Test/git-issues/git-issue-2139.dfy.expect |  0
 2 files changed, 11 insertions(+)
 create mode 100644 Test/git-issues/git-issue-2139.dfy
 create mode 100644 Test/git-issues/git-issue-2139.dfy.expect

diff --git a/Test/git-issues/git-issue-2139.dfy b/Test/git-issues/git-issue-2139.dfy
new file mode 100644
index 00000000000..d57936b2b67
--- /dev/null
+++ b/Test/git-issues/git-issue-2139.dfy
@@ -0,0 +1,11 @@
+// RUN: %dafny_0 /compile:0 "%s" > "%t"
+// RUN: %diff "%s.expect" "%t"
+
+method a() 
+{
+    var tok := (0,0);
+    match tok {
+      case "B" => 
+      case _ => 
+    }
+}
\ No newline at end of file
diff --git a/Test/git-issues/git-issue-2139.dfy.expect b/Test/git-issues/git-issue-2139.dfy.expect
new file mode 100644
index 00000000000..e69de29bb2d