Tweak tests

Author: EugeneFlesselle

tests/neg/i23435-min.scala

@@ -1,6 +1,14 @@
 
 type Or[+A, +B] = A | B
 
-val x: Or[Int, String] & Or[String, Int] = 3
-val y: Or[Int & String, Int & String] = x // error
-val z: Int & String = y
+object Test1:
+  val x: Or[Int, String] & Or[String, Int] = 3
+  val y: Or[Int & String, String & Int] = x // error
+  val z: String = y
+
+// shows the distributeAnd logic should not be applied even when
+// the targs are pairwise TypeComparer#singletonInterval
+object Test2:
+  val x: Or["3", Singleton] & Or[Singleton, "3"] = 3
+  val y: Or["3", "3"] = x // error
+  val z: String = y

tests/neg/specs2-23441-min.scala

@@ -1,5 +1,5 @@
 
-// NOTE: does _not_ need to be a neg test,
+// NOTE: should _not_ necessarily be a neg test,
 // added as minimization from community-build specs2 for #23441
 
 def sameElementsAs[T](xs: Iterable[T], ys: Iterable[T], f: (T, T) => Boolean): Boolean =
@@ -15,4 +15,4 @@ def sameElementsAs[T](xs: Iterable[T], ys: Iterable[T], f: (T, T) => Boolean): B
 
       sameElementsAs[T](resta, restb, f) // ok
       sameElementsAs(resta : List[T], restb, f) // ok
-      sameElementsAs(resta, restb, f) // error, would be ok if we inferred as above
+      sameElementsAs(resta, restb, f) // error, would be ok if we had inferred as above

tests/pos/reference/intersection-types.scala

@@ -26,7 +26,7 @@ object t2 {
   }
 
   val x: A & B = new C
-  val ys: List[A & B] = x.children
+  val ys: List[A] & List[B] = x.children
 
   class C extends A with B {
     def children: List[A & B] = ???