scala
diff --git a/‎tests/patmat/i4226b.check
Lines changed: 1 addition & 0 deletions b/‎tests/patmat/i4226b.check
Lines changed: 1 addition & 0 deletions
diff --git a/‎tests/pos/i4226b.scala renamed to ‎tests/patmat/i4226b.scala b/‎tests/pos/i4226b.scala renamed to ‎tests/patmat/i4226b.scala
diff --git a/‎tests/pos/i4226.scala
Lines changed: 0 additions & 15 deletions b/‎tests/pos/i4226.scala
Lines changed: 0 additions & 15 deletions
@@ -0,0 +1 @@
+11: Pattern Match Exhaustivity: _: Empty, Just(_)
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+11: Pattern Match Exhaustivity: _: Empty, Just(_)`