Fix exhaustivity test

odersky · odersky · commit 157ad2599e24 · 2020-05-21T15:14:15.000+02:00
diff --git a/tests/patmat/andtype-opentype-interaction.check b/tests/patmat/andtype-opentype-interaction.check
@@ -2,6 +2,5 @@
 27: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenTrait2, _: Clazz & OpenTrait & OpenTrait2, _: AbstractClass & OpenTrait & OpenTrait2, _: SealedClass & OpenTrait & OpenTrait2
 31: Pattern Match Exhaustivity: _: Trait & OpenClass
 35: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenClass
-39: Pattern Match Exhaustivity: _: Trait & OpenClass & (OpenTrait & OpenClass2)
 43: Pattern Match Exhaustivity: _: Trait & OpenAbstractClass
 47: Pattern Match Exhaustivity: _: Trait & OpenClass & (OpenTrait & OpenClassSubclass)
diff --git a/tests/patmat/andtype-opentype-interaction.scala b/tests/patmat/andtype-opentype-interaction.scala
@@ -37,7 +37,7 @@ object Test {
   }
 
   def m2c(s: (T & OpenClass) & (OpenTrait & OpenClass2)) = s match {
-    case _: Unrelated => ;
+    case _: Unrelated => ;  // OK since scrutinee is the empty type
   }
 
   def m3(s: T & OpenAbstractClass) = s match {

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ object Test {`
`37`	`37`	`}`
`38`	`38`
`39`	`39`	`def m2c(s: (T & OpenClass) & (OpenTrait & OpenClass2)) = s match {`
`40`		`- case _: Unrelated => ;`
	`40`	`+ case _: Unrelated => ; // OK since scrutinee is the empty type`
`41`	`41`	`}`
`42`	`42`
`43`	`43`	`def m3(s: T & OpenAbstractClass) = s match {`