Fix scala#12602: Add test

dotty-staging · May 25, 2021 · 13330ca · 13330ca
1 parent 9a0182a
commit 13330ca
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala
@@ -846,6 +846,9 @@ class SpaceEngine(using Context) extends SpaceLogic {
 
     if (!exhaustivityCheckable(sel)) return
 
+    debug.println("checking " + _match.show)
+    debug.println("selTyp = " + selTyp.show)
+
     val patternSpace = Or(cases.foldLeft(List.empty[Space]) { (acc, x) =>
       val space = if (x.guard.isEmpty) project(x.pat) else Empty
       debug.println(s"${x.pat.show} ====> ${show(space)}")

diff --git a/tests/patmat/i12602.check b/tests/patmat/i12602.check
@@ -0,0 +1 @@
+2: Pattern Match Exhaustivity: _: Foo[_]
diff --git a/tests/patmat/i12602.scala b/tests/patmat/i12602.scala
@@ -0,0 +1,2 @@
+sealed class Foo[T]
+object Foo extends Foo[Nothing]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		sealed class Foo[T]
		object Foo extends Foo[Nothing]