Add test case

scala · Jul 30, 2021 · d52b365 · d52b365
1 parent bda342d
commit d52b365
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/tests/neg/12549.scala b/tests/neg/12549.scala
@@ -0,0 +1,18 @@
+enum Bool {
+  case True
+  case False
+}
+
+import Bool.*
+
+type Not[B <: Bool] = B match {
+  case True.type => False.type
+  case False.type => True.type
+  case _ => "unreachable"
+}
+
+def foo[B <: Bool & Singleton]: Unit = {
+  implicitly[Not[B] =:= "unreachable"] // error
+
+  ()
+}