add test set for exhaustivity and redundancy check

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/patmat/t9630.scala b/tests/patmat/t9630.scala
new file mode 100644
index 000000000..c846faa99
--- /dev/null
+++ b/tests/patmat/t9630.scala
@@ -0,0 +1,21 @@
+sealed trait OpError
+sealed trait RequestErrorType
+sealed trait ProcessingErrorType
+
+final case class InvalidEndpoint(reason: String) extends RequestErrorType
+final case class InvalidParameters(reason: String) extends RequestErrorType
+
+final case class InvalidFormat(response: String) extends ProcessingErrorType
+final case class EntityNotFound(id: Long) extends ProcessingErrorType
+
+final case class RequestError(errorType: RequestErrorType) extends OpError
+final case class ProcessingError(errorType: ProcessingErrorType) extends OpError
+
+object Test{
+  def printMatches(error: OpError): Unit = error match {
+    case RequestError(InvalidEndpoint(reason)) => //print something
+    case RequestError(InvalidParameters(reason)) => //print something
+    case ProcessingError(InvalidFormat(format)) => //print something
+    case ProcessingError(EntityNotFound(entityId)) => //print something
+  }
+}
\ No newline at end of file