add neg test for issue scala#18448

soronpo · Aug 25, 2023 · a8d68b6 · a8d68b6
1 parent 2616c8b
commit a8d68b6
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/tests/neg/i18448/UBMatch_1.scala b/tests/neg/i18448/UBMatch_1.scala
@@ -0,0 +1,2 @@
+type <:![T <: UB, UB] <: UB = T match
+  case UB => T
diff --git a/tests/neg/i18448/UBMatch_2.scala b/tests/neg/i18448/UBMatch_2.scala
@@ -0,0 +1,3 @@
+trait Foo
+type Of[T] <: Foo = T match
+  case Foo => T <:! Foo
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		type <:![T <: UB, UB] <: UB = T match
		case UB => T