Reverted i11694 and i14823a

Author: mucciolo

tests/neg/i11694.scala

@@ -5,8 +5,8 @@ def test1 = {
   def f21: (Int => Int) | Null = x => x + 1
   def f22: Null | (Int => Int) = x => x + 1
 
-  def f31: (Int => Int) | (Int => Int) = x => x + 1
-  def f32: (Int => Int) | (Int => Int) | Unit = x => x + 1
+  def f31: (Int => Int) | (Int => Int) = x => x + 1  // error
+  def f32: (Int => Int) | (Int => Int) | Unit = x => x + 1 // error
 
   def f41: (Int => Int) & (Int => Int) = x => x + 1
   def f42: (Int => Int) & (Int => Int) & Any = x => x + 1

tests/neg/i14823a.scala

@@ -13,8 +13,8 @@ object Foo {
   case class A[T]() extends Foo[T]
 }
 
-val foo = summon[Mirror.Of[Box[Int] | Box[String]]] // error
-val bar = summon[MirrorK1.Of[[X] =>> Box[Int] | Box[String]]] // error
-def baz = summon[deriving.Mirror.Of[Foo[Int] | Foo[String]]] // error
+val foo = summon[Mirror.Of[Box[Int] | Box[Int]]] // error
+val bar = summon[MirrorK1.Of[[X] =>> Box[Int] | Box[Int]]] // error
+def baz = summon[deriving.Mirror.Of[Foo[String] | Foo[String]]] // error
 
 def qux = summon[deriving.Mirror.Of[Option[Int] | Option[String]]] // error