Added another test.

Probably overshot the mark a little.

2 files changed, 975 insertions, 0 deletions

diff --git a/test/files/run/t3425b/Base_1.scala b/test/files/run/t3425b/Base_1.scala
new file mode 100644
index 0000000000..02e108b320
--- /dev/null
+++ b/test/files/run/t3425b/Base_1.scala
@@ -0,0 +1,89 @@
+trait P { def reflected: Boolean }
+trait Q { def reflected: Boolean }
+class PQ(val reflected: Boolean) extends P with Q { }
+
+trait A
+trait B
+trait C { val y: P }
+class ABC extends A with B with C {
+  private def reflected = (
+    Thread.currentThread.getStackTrace
+      takeWhile (_.getMethodName != "main")
+      exists (_.toString contains "java.lang.reflect.")
+  )
+  lazy val y: PQ = new PQ(reflected)
+}
+
+/*** The source used to generate the second file
+     Not otherwise used in the test except that compiling
+     it helps make sure it still compiles.
+
+****/
+
+object Gen {
+  case class Tp(outer: String, elem: String) {
+    override def toString = s"$outer { val y: $elem }"
+  }
+  case class Pair(tp1: Tp, tp2: Tp) {
+    def expr = s"((new ABC): $tp)"
+    def tp   = s"($tp1) with ($tp2)"
+  }
+  val traits = Vector("Any", "A", "B", "C") map ("%6s" format _)
+  val types  = Vector("P", "Q", "R forSome { type R <: P with Q }")
+  val allTypes = for (c <- traits ; tp <- types) yield Tp(c, tp)
+  val pairs = allTypes flatMap (t1 => allTypes map (t2 => Pair(t1, t2)))
+  val indices = pairs.indices
+
+  def aliases(idx: Int) = {
+    val p = pairs(idx)
+    import p._
+    List(
+      s"type R1_$idx = $tp",
+      s"type R2_$idx = R1_$idx { val y: (${tp1.elem}) with (${tp2.elem}) }"
+    )
+  }
+
+  def mkMethodContent(pre: String)(f: Int => String) =
+    indices map (i => s"def $pre$i${f(i)}") mkString "\n  "
+
+  def content = List(
+    indices flatMap aliases mkString "\n  ",
+    mkMethodContent("f")(i => s" = { val x = ${pairs(i).expr} ; x.y.reflected -> whatis(x).toString }"),
+    mkMethodContent("g")(i => s"""(x: R1_$i) = x.y"""),
+    mkMethodContent("h")(i => s"""(x: R2_$i) = x.y""")
+  ) mkString "\n  "
+
+  def fCalls = indices map ("f" + _) mkString ("\n    ", ",\n    ", "\n  ")
+
+  def main(args: Array[String]): Unit = {
+    // One cannot attain proper appreciation for the inadequacies of
+    // string interpolation without becoming one with the newline.
+    val nl = "\\n"
+
+    println(s"""
+      |import scala.reflect.runtime.universe._
+      |import scala.language._
+      |
+      |object Test {
+      |  def whatis[T: TypeTag](x: T) = typeOf[T]
+      |  def sshow(label: String, xs: Traversable[Any]) {
+      |    println("==== " + label + " ====$nl")
+      |    xs.toList.map("" + _).sorted foreach println
+      |    println("$nl")
+      |  }
+      |
+      |  $content
+      |  lazy val fcalls = List($fCalls)
+      |
+      |  def main(args: Array[String]) {
+      |    sshow("Direct Calls", fcalls collect { case (false, n) => n })
+      |    sshow("Reflective Calls", fcalls collect { case (true, n) => n })
+      |    // For a good time try printing this - have to fix bugs in
+      |    // reflection before that's going to be a good idea
+      |    // println(typeOf[Test.type].typeSymbol.asClass.typeSignature)
+      |  }
+      |}
+      """.stripMargin.trim
+    )
+  }
+}
diff --git a/test/files/run/t3425b/Generated_2.scala b/test/files/run/t3425b/Generated_2.scala
new file mode 100644
index 0000000000..f1699636f6
--- /dev/null
+++ b/test/files/run/t3425b/Generated_2.scala
@@ -0,0 +1,886 @@
+import scala.reflect.runtime.universe._
+import scala.language._
+
+object Test {
+  def whatis[T: TypeTag](x: T) = typeOf[T]
+  def sshow(label: String, xs: Traversable[Any]) {
+    println("==== " + label + " ====\n")
+    xs.toList.map("" + _).sorted foreach println
+    println("\n")
+  }
+
+  type R1_0 = (   Any { val y: P }) with (   Any { val y: P })
+  type R2_0 = R1_0 { val y: (P) with (P) }
+  type R1_1 = (   Any { val y: P }) with (   Any { val y: Q })
+  type R2_1 = R1_1 { val y: (P) with (Q) }
+  type R1_2 = (   Any { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_2 = R1_2 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_3 = (   Any { val y: P }) with (     A { val y: P })
+  type R2_3 = R1_3 { val y: (P) with (P) }
+  type R1_4 = (   Any { val y: P }) with (     A { val y: Q })
+  type R2_4 = R1_4 { val y: (P) with (Q) }
+  type R1_5 = (   Any { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_5 = R1_5 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_6 = (   Any { val y: P }) with (     B { val y: P })
+  type R2_6 = R1_6 { val y: (P) with (P) }
+  type R1_7 = (   Any { val y: P }) with (     B { val y: Q })
+  type R2_7 = R1_7 { val y: (P) with (Q) }
+  type R1_8 = (   Any { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_8 = R1_8 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_9 = (   Any { val y: P }) with (     C { val y: P })
+  type R2_9 = R1_9 { val y: (P) with (P) }
+  type R1_10 = (   Any { val y: P }) with (     C { val y: Q })
+  type R2_10 = R1_10 { val y: (P) with (Q) }
+  type R1_11 = (   Any { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_11 = R1_11 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_12 = (   Any { val y: Q }) with (   Any { val y: P })
+  type R2_12 = R1_12 { val y: (Q) with (P) }
+  type R1_13 = (   Any { val y: Q }) with (   Any { val y: Q })
+  type R2_13 = R1_13 { val y: (Q) with (Q) }
+  type R1_14 = (   Any { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_14 = R1_14 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_15 = (   Any { val y: Q }) with (     A { val y: P })
+  type R2_15 = R1_15 { val y: (Q) with (P) }
+  type R1_16 = (   Any { val y: Q }) with (     A { val y: Q })
+  type R2_16 = R1_16 { val y: (Q) with (Q) }
+  type R1_17 = (   Any { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_17 = R1_17 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_18 = (   Any { val y: Q }) with (     B { val y: P })
+  type R2_18 = R1_18 { val y: (Q) with (P) }
+  type R1_19 = (   Any { val y: Q }) with (     B { val y: Q })
+  type R2_19 = R1_19 { val y: (Q) with (Q) }
+  type R1_20 = (   Any { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_20 = R1_20 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_21 = (   Any { val y: Q }) with (     C { val y: P })
+  type R2_21 = R1_21 { val y: (Q) with (P) }
+  type R1_22 = (   Any { val y: Q }) with (     C { val y: Q })
+  type R2_22 = R1_22 { val y: (Q) with (Q) }
+  type R1_23 = (   Any { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_23 = R1_23 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_24 = (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })
+  type R2_24 = R1_24 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_25 = (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })
+  type R2_25 = R1_25 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_26 = (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_26 = R1_26 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_27 = (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })
+  type R2_27 = R1_27 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_28 = (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })
+  type R2_28 = R1_28 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_29 = (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_29 = R1_29 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_30 = (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })
+  type R2_30 = R1_30 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_31 = (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })
+  type R2_31 = R1_31 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_32 = (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_32 = R1_32 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_33 = (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })
+  type R2_33 = R1_33 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_34 = (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })
+  type R2_34 = R1_34 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_35 = (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_35 = R1_35 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_36 = (     A { val y: P }) with (   Any { val y: P })
+  type R2_36 = R1_36 { val y: (P) with (P) }
+  type R1_37 = (     A { val y: P }) with (   Any { val y: Q })
+  type R2_37 = R1_37 { val y: (P) with (Q) }
+  type R1_38 = (     A { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_38 = R1_38 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_39 = (     A { val y: P }) with (     A { val y: P })
+  type R2_39 = R1_39 { val y: (P) with (P) }
+  type R1_40 = (     A { val y: P }) with (     A { val y: Q })
+  type R2_40 = R1_40 { val y: (P) with (Q) }
+  type R1_41 = (     A { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_41 = R1_41 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_42 = (     A { val y: P }) with (     B { val y: P })
+  type R2_42 = R1_42 { val y: (P) with (P) }
+  type R1_43 = (     A { val y: P }) with (     B { val y: Q })
+  type R2_43 = R1_43 { val y: (P) with (Q) }
+  type R1_44 = (     A { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_44 = R1_44 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_45 = (     A { val y: P }) with (     C { val y: P })
+  type R2_45 = R1_45 { val y: (P) with (P) }
+  type R1_46 = (     A { val y: P }) with (     C { val y: Q })
+  type R2_46 = R1_46 { val y: (P) with (Q) }
+  type R1_47 = (     A { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_47 = R1_47 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_48 = (     A { val y: Q }) with (   Any { val y: P })
+  type R2_48 = R1_48 { val y: (Q) with (P) }
+  type R1_49 = (     A { val y: Q }) with (   Any { val y: Q })
+  type R2_49 = R1_49 { val y: (Q) with (Q) }
+  type R1_50 = (     A { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_50 = R1_50 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_51 = (     A { val y: Q }) with (     A { val y: P })
+  type R2_51 = R1_51 { val y: (Q) with (P) }
+  type R1_52 = (     A { val y: Q }) with (     A { val y: Q })
+  type R2_52 = R1_52 { val y: (Q) with (Q) }
+  type R1_53 = (     A { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_53 = R1_53 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_54 = (     A { val y: Q }) with (     B { val y: P })
+  type R2_54 = R1_54 { val y: (Q) with (P) }
+  type R1_55 = (     A { val y: Q }) with (     B { val y: Q })
+  type R2_55 = R1_55 { val y: (Q) with (Q) }
+  type R1_56 = (     A { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_56 = R1_56 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_57 = (     A { val y: Q }) with (     C { val y: P })
+  type R2_57 = R1_57 { val y: (Q) with (P) }
+  type R1_58 = (     A { val y: Q }) with (     C { val y: Q })
+  type R2_58 = R1_58 { val y: (Q) with (Q) }
+  type R1_59 = (     A { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_59 = R1_59 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_60 = (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })
+  type R2_60 = R1_60 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_61 = (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })
+  type R2_61 = R1_61 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_62 = (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_62 = R1_62 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_63 = (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })
+  type R2_63 = R1_63 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_64 = (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })
+  type R2_64 = R1_64 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_65 = (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_65 = R1_65 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_66 = (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })
+  type R2_66 = R1_66 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_67 = (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })
+  type R2_67 = R1_67 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_68 = (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_68 = R1_68 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_69 = (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })
+  type R2_69 = R1_69 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_70 = (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })
+  type R2_70 = R1_70 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_71 = (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_71 = R1_71 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_72 = (     B { val y: P }) with (   Any { val y: P })
+  type R2_72 = R1_72 { val y: (P) with (P) }
+  type R1_73 = (     B { val y: P }) with (   Any { val y: Q })
+  type R2_73 = R1_73 { val y: (P) with (Q) }
+  type R1_74 = (     B { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_74 = R1_74 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_75 = (     B { val y: P }) with (     A { val y: P })
+  type R2_75 = R1_75 { val y: (P) with (P) }
+  type R1_76 = (     B { val y: P }) with (     A { val y: Q })
+  type R2_76 = R1_76 { val y: (P) with (Q) }
+  type R1_77 = (     B { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_77 = R1_77 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_78 = (     B { val y: P }) with (     B { val y: P })
+  type R2_78 = R1_78 { val y: (P) with (P) }
+  type R1_79 = (     B { val y: P }) with (     B { val y: Q })
+  type R2_79 = R1_79 { val y: (P) with (Q) }
+  type R1_80 = (     B { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_80 = R1_80 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_81 = (     B { val y: P }) with (     C { val y: P })
+  type R2_81 = R1_81 { val y: (P) with (P) }
+  type R1_82 = (     B { val y: P }) with (     C { val y: Q })
+  type R2_82 = R1_82 { val y: (P) with (Q) }
+  type R1_83 = (     B { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_83 = R1_83 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_84 = (     B { val y: Q }) with (   Any { val y: P })
+  type R2_84 = R1_84 { val y: (Q) with (P) }
+  type R1_85 = (     B { val y: Q }) with (   Any { val y: Q })
+  type R2_85 = R1_85 { val y: (Q) with (Q) }
+  type R1_86 = (     B { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_86 = R1_86 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_87 = (     B { val y: Q }) with (     A { val y: P })
+  type R2_87 = R1_87 { val y: (Q) with (P) }
+  type R1_88 = (     B { val y: Q }) with (     A { val y: Q })
+  type R2_88 = R1_88 { val y: (Q) with (Q) }
+  type R1_89 = (     B { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_89 = R1_89 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_90 = (     B { val y: Q }) with (     B { val y: P })
+  type R2_90 = R1_90 { val y: (Q) with (P) }
+  type R1_91 = (     B { val y: Q }) with (     B { val y: Q })
+  type R2_91 = R1_91 { val y: (Q) with (Q) }
+  type R1_92 = (     B { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_92 = R1_92 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_93 = (     B { val y: Q }) with (     C { val y: P })
+  type R2_93 = R1_93 { val y: (Q) with (P) }
+  type R1_94 = (     B { val y: Q }) with (     C { val y: Q })
+  type R2_94 = R1_94 { val y: (Q) with (Q) }
+  type R1_95 = (     B { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_95 = R1_95 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_96 = (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })
+  type R2_96 = R1_96 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_97 = (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })
+  type R2_97 = R1_97 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_98 = (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_98 = R1_98 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_99 = (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })
+  type R2_99 = R1_99 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_100 = (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })
+  type R2_100 = R1_100 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_101 = (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_101 = R1_101 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_102 = (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })
+  type R2_102 = R1_102 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_103 = (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })
+  type R2_103 = R1_103 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_104 = (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_104 = R1_104 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_105 = (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })
+  type R2_105 = R1_105 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_106 = (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })
+  type R2_106 = R1_106 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_107 = (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_107 = R1_107 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_108 = (     C { val y: P }) with (   Any { val y: P })
+  type R2_108 = R1_108 { val y: (P) with (P) }
+  type R1_109 = (     C { val y: P }) with (   Any { val y: Q })
+  type R2_109 = R1_109 { val y: (P) with (Q) }
+  type R1_110 = (     C { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_110 = R1_110 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_111 = (     C { val y: P }) with (     A { val y: P })
+  type R2_111 = R1_111 { val y: (P) with (P) }
+  type R1_112 = (     C { val y: P }) with (     A { val y: Q })
+  type R2_112 = R1_112 { val y: (P) with (Q) }
+  type R1_113 = (     C { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_113 = R1_113 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_114 = (     C { val y: P }) with (     B { val y: P })
+  type R2_114 = R1_114 { val y: (P) with (P) }
+  type R1_115 = (     C { val y: P }) with (     B { val y: Q })
+  type R2_115 = R1_115 { val y: (P) with (Q) }
+  type R1_116 = (     C { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_116 = R1_116 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_117 = (     C { val y: P }) with (     C { val y: P })
+  type R2_117 = R1_117 { val y: (P) with (P) }
+  type R1_118 = (     C { val y: P }) with (     C { val y: Q })
+  type R2_118 = R1_118 { val y: (P) with (Q) }
+  type R1_119 = (     C { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_119 = R1_119 { val y: (P) with (R forSome { type R <: P with Q }) }
+  type R1_120 = (     C { val y: Q }) with (   Any { val y: P })
+  type R2_120 = R1_120 { val y: (Q) with (P) }
+  type R1_121 = (     C { val y: Q }) with (   Any { val y: Q })
+  type R2_121 = R1_121 { val y: (Q) with (Q) }
+  type R1_122 = (     C { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_122 = R1_122 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_123 = (     C { val y: Q }) with (     A { val y: P })
+  type R2_123 = R1_123 { val y: (Q) with (P) }
+  type R1_124 = (     C { val y: Q }) with (     A { val y: Q })
+  type R2_124 = R1_124 { val y: (Q) with (Q) }
+  type R1_125 = (     C { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_125 = R1_125 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_126 = (     C { val y: Q }) with (     B { val y: P })
+  type R2_126 = R1_126 { val y: (Q) with (P) }
+  type R1_127 = (     C { val y: Q }) with (     B { val y: Q })
+  type R2_127 = R1_127 { val y: (Q) with (Q) }
+  type R1_128 = (     C { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_128 = R1_128 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_129 = (     C { val y: Q }) with (     C { val y: P })
+  type R2_129 = R1_129 { val y: (Q) with (P) }
+  type R1_130 = (     C { val y: Q }) with (     C { val y: Q })
+  type R2_130 = R1_130 { val y: (Q) with (Q) }
+  type R1_131 = (     C { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_131 = R1_131 { val y: (Q) with (R forSome { type R <: P with Q }) }
+  type R1_132 = (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })
+  type R2_132 = R1_132 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_133 = (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })
+  type R2_133 = R1_133 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_134 = (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })
+  type R2_134 = R1_134 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_135 = (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })
+  type R2_135 = R1_135 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_136 = (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })
+  type R2_136 = R1_136 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_137 = (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })
+  type R2_137 = R1_137 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_138 = (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })
+  type R2_138 = R1_138 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_139 = (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })
+  type R2_139 = R1_139 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_140 = (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })
+  type R2_140 = R1_140 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  type R1_141 = (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })
+  type R2_141 = R1_141 { val y: (R forSome { type R <: P with Q }) with (P) }
+  type R1_142 = (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })
+  type R2_142 = R1_142 { val y: (R forSome { type R <: P with Q }) with (Q) }
+  type R1_143 = (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })
+  type R2_143 = R1_143 { val y: (R forSome { type R <: P with Q }) with (R forSome { type R <: P with Q }) }
+  def f0 = { val x = ((new ABC): (   Any { val y: P }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f1 = { val x = ((new ABC): (   Any { val y: P }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f2 = { val x = ((new ABC): (   Any { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f3 = { val x = ((new ABC): (   Any { val y: P }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f4 = { val x = ((new ABC): (   Any { val y: P }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f5 = { val x = ((new ABC): (   Any { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f6 = { val x = ((new ABC): (   Any { val y: P }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f7 = { val x = ((new ABC): (   Any { val y: P }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f8 = { val x = ((new ABC): (   Any { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f9 = { val x = ((new ABC): (   Any { val y: P }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f10 = { val x = ((new ABC): (   Any { val y: P }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f11 = { val x = ((new ABC): (   Any { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f12 = { val x = ((new ABC): (   Any { val y: Q }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f13 = { val x = ((new ABC): (   Any { val y: Q }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f14 = { val x = ((new ABC): (   Any { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f15 = { val x = ((new ABC): (   Any { val y: Q }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f16 = { val x = ((new ABC): (   Any { val y: Q }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f17 = { val x = ((new ABC): (   Any { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f18 = { val x = ((new ABC): (   Any { val y: Q }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f19 = { val x = ((new ABC): (   Any { val y: Q }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f20 = { val x = ((new ABC): (   Any { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f21 = { val x = ((new ABC): (   Any { val y: Q }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f22 = { val x = ((new ABC): (   Any { val y: Q }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f23 = { val x = ((new ABC): (   Any { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f24 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f25 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f26 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f27 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f28 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f29 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f30 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f31 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f32 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f33 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f34 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f35 = { val x = ((new ABC): (   Any { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f36 = { val x = ((new ABC): (     A { val y: P }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f37 = { val x = ((new ABC): (     A { val y: P }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f38 = { val x = ((new ABC): (     A { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f39 = { val x = ((new ABC): (     A { val y: P }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f40 = { val x = ((new ABC): (     A { val y: P }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f41 = { val x = ((new ABC): (     A { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f42 = { val x = ((new ABC): (     A { val y: P }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f43 = { val x = ((new ABC): (     A { val y: P }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f44 = { val x = ((new ABC): (     A { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f45 = { val x = ((new ABC): (     A { val y: P }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f46 = { val x = ((new ABC): (     A { val y: P }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f47 = { val x = ((new ABC): (     A { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f48 = { val x = ((new ABC): (     A { val y: Q }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f49 = { val x = ((new ABC): (     A { val y: Q }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f50 = { val x = ((new ABC): (     A { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f51 = { val x = ((new ABC): (     A { val y: Q }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f52 = { val x = ((new ABC): (     A { val y: Q }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f53 = { val x = ((new ABC): (     A { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f54 = { val x = ((new ABC): (     A { val y: Q }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f55 = { val x = ((new ABC): (     A { val y: Q }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f56 = { val x = ((new ABC): (     A { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f57 = { val x = ((new ABC): (     A { val y: Q }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f58 = { val x = ((new ABC): (     A { val y: Q }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f59 = { val x = ((new ABC): (     A { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f60 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f61 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f62 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f63 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f64 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f65 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f66 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f67 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f68 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f69 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f70 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f71 = { val x = ((new ABC): (     A { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f72 = { val x = ((new ABC): (     B { val y: P }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f73 = { val x = ((new ABC): (     B { val y: P }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f74 = { val x = ((new ABC): (     B { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f75 = { val x = ((new ABC): (     B { val y: P }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f76 = { val x = ((new ABC): (     B { val y: P }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f77 = { val x = ((new ABC): (     B { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f78 = { val x = ((new ABC): (     B { val y: P }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f79 = { val x = ((new ABC): (     B { val y: P }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f80 = { val x = ((new ABC): (     B { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f81 = { val x = ((new ABC): (     B { val y: P }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f82 = { val x = ((new ABC): (     B { val y: P }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f83 = { val x = ((new ABC): (     B { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f84 = { val x = ((new ABC): (     B { val y: Q }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f85 = { val x = ((new ABC): (     B { val y: Q }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f86 = { val x = ((new ABC): (     B { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f87 = { val x = ((new ABC): (     B { val y: Q }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f88 = { val x = ((new ABC): (     B { val y: Q }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f89 = { val x = ((new ABC): (     B { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f90 = { val x = ((new ABC): (     B { val y: Q }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f91 = { val x = ((new ABC): (     B { val y: Q }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f92 = { val x = ((new ABC): (     B { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f93 = { val x = ((new ABC): (     B { val y: Q }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f94 = { val x = ((new ABC): (     B { val y: Q }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f95 = { val x = ((new ABC): (     B { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f96 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f97 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f98 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f99 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f100 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f101 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f102 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f103 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f104 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f105 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f106 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f107 = { val x = ((new ABC): (     B { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f108 = { val x = ((new ABC): (     C { val y: P }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f109 = { val x = ((new ABC): (     C { val y: P }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f110 = { val x = ((new ABC): (     C { val y: P }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f111 = { val x = ((new ABC): (     C { val y: P }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f112 = { val x = ((new ABC): (     C { val y: P }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f113 = { val x = ((new ABC): (     C { val y: P }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f114 = { val x = ((new ABC): (     C { val y: P }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f115 = { val x = ((new ABC): (     C { val y: P }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f116 = { val x = ((new ABC): (     C { val y: P }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f117 = { val x = ((new ABC): (     C { val y: P }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f118 = { val x = ((new ABC): (     C { val y: P }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f119 = { val x = ((new ABC): (     C { val y: P }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f120 = { val x = ((new ABC): (     C { val y: Q }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f121 = { val x = ((new ABC): (     C { val y: Q }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f122 = { val x = ((new ABC): (     C { val y: Q }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f123 = { val x = ((new ABC): (     C { val y: Q }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f124 = { val x = ((new ABC): (     C { val y: Q }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f125 = { val x = ((new ABC): (     C { val y: Q }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f126 = { val x = ((new ABC): (     C { val y: Q }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f127 = { val x = ((new ABC): (     C { val y: Q }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f128 = { val x = ((new ABC): (     C { val y: Q }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f129 = { val x = ((new ABC): (     C { val y: Q }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f130 = { val x = ((new ABC): (     C { val y: Q }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f131 = { val x = ((new ABC): (     C { val y: Q }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f132 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f133 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f134 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (   Any { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f135 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f136 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f137 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     A { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f138 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f139 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f140 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     B { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def f141 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: P })) ; x.y.reflected -> whatis(x).toString }
+  def f142 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: Q })) ; x.y.reflected -> whatis(x).toString }
+  def f143 = { val x = ((new ABC): (     C { val y: R forSome { type R <: P with Q } }) with (     C { val y: R forSome { type R <: P with Q } })) ; x.y.reflected -> whatis(x).toString }
+  def g0(x: R1_0) = x.y
+  def g1(x: R1_1) = x.y
+  def g2(x: R1_2) = x.y
+  def g3(x: R1_3) = x.y
+  def g4(x: R1_4) = x.y
+  def g5(x: R1_5) = x.y
+  def g6(x: R1_6) = x.y
+  def g7(x: R1_7) = x.y
+  def g8(x: R1_8) = x.y
+  def g9(x: R1_9) = x.y
+  def g10(x: R1_10) = x.y
+  def g11(x: R1_11) = x.y
+  def g12(x: R1_12) = x.y
+  def g13(x: R1_13) = x.y
+  def g14(x: R1_14) = x.y
+  def g15(x: R1_15) = x.y
+  def g16(x: R1_16) = x.y
+  def g17(x: R1_17) = x.y
+  def g18(x: R1_18) = x.y
+  def g19(x: R1_19) = x.y
+  def g20(x: R1_20) = x.y
+  def g21(x: R1_21) = x.y
+  def g22(x: R1_22) = x.y
+  def g23(x: R1_23) = x.y
+  def g24(x: R1_24) = x.y
+  def g25(x: R1_25) = x.y
+  def g26(x: R1_26) = x.y
+  def g27(x: R1_27) = x.y
+  def g28(x: R1_28) = x.y
+  def g29(x: R1_29) = x.y
+  def g30(x: R1_30) = x.y
+  def g31(x: R1_31) = x.y
+  def g32(x: R1_32) = x.y
+  def g33(x: R1_33) = x.y
+  def g34(x: R1_34) = x.y
+  def g35(x: R1_35) = x.y
+  def g36(x: R1_36) = x.y
+  def g37(x: R1_37) = x.y
+  def g38(x: R1_38) = x.y
+  def g39(x: R1_39) = x.y
+  def g40(x: R1_40) = x.y
+  def g41(x: R1_41) = x.y
+  def g42(x: R1_42) = x.y
+  def g43(x: R1_43) = x.y
+  def g44(x: R1_44) = x.y
+  def g45(x: R1_45) = x.y
+  def g46(x: R1_46) = x.y
+  def g47(x: R1_47) = x.y
+  def g48(x: R1_48) = x.y
+  def g49(x: R1_49) = x.y
+  def g50(x: R1_50) = x.y
+  def g51(x: R1_51) = x.y
+  def g52(x: R1_52) = x.y
+  def g53(x: R1_53) = x.y
+  def g54(x: R1_54) = x.y
+  def g55(x: R1_55) = x.y
+  def g56(x: R1_56) = x.y
+  def g57(x: R1_57) = x.y
+  def g58(x: R1_58) = x.y
+  def g59(x: R1_59) = x.y
+  def g60(x: R1_60) = x.y
+  def g61(x: R1_61) = x.y
+  def g62(x: R1_62) = x.y
+  def g63(x: R1_63) = x.y
+  def g64(x: R1_64) = x.y
+  def g65(x: R1_65) = x.y
+  def g66(x: R1_66) = x.y
+  def g67(x: R1_67) = x.y
+  def g68(x: R1_68) = x.y
+  def g69(x: R1_69) = x.y
+  def g70(x: R1_70) = x.y
+  def g71(x: R1_71) = x.y
+  def g72(x: R1_72) = x.y
+  def g73(x: R1_73) = x.y
+  def g74(x: R1_74) = x.y
+  def g75(x: R1_75) = x.y
+  def g76(x: R1_76) = x.y
+  def g77(x: R1_77) = x.y
+  def g78(x: R1_78) = x.y
+  def g79(x: R1_79) = x.y
+  def g80(x: R1_80) = x.y
+  def g81(x: R1_81) = x.y
+  def g82(x: R1_82) = x.y
+  def g83(x: R1_83) = x.y
+  def g84(x: R1_84) = x.y
+  def g85(x: R1_85) = x.y
+  def g86(x: R1_86) = x.y
+  def g87(x: R1_87) = x.y
+  def g88(x: R1_88) = x.y
+  def g89(x: R1_89) = x.y
+  def g90(x: R1_90) = x.y
+  def g91(x: R1_91) = x.y
+  def g92(x: R1_92) = x.y
+  def g93(x: R1_93) = x.y
+  def g94(x: R1_94) = x.y
+  def g95(x: R1_95) = x.y
+  def g96(x: R1_96) = x.y
+  def g97(x: R1_97) = x.y
+  def g98(x: R1_98) = x.y
+  def g99(x: R1_99) = x.y
+  def g100(x: R1_100) = x.y
+  def g101(x: R1_101) = x.y
+  def g102(x: R1_102) = x.y
+  def g103(x: R1_103) = x.y
+  def g104(x: R1_104) = x.y
+  def g105(x: R1_105) = x.y
+  def g106(x: R1_106) = x.y
+  def g107(x: R1_107) = x.y
+  def g108(x: R1_108) = x.y
+  def g109(x: R1_109) = x.y
+  def g110(x: R1_110) = x.y
+  def g111(x: R1_111) = x.y
+  def g112(x: R1_112) = x.y
+  def g113(x: R1_113) = x.y
+  def g114(x: R1_114) = x.y
+  def g115(x: R1_115) = x.y
+  def g116(x: R1_116) = x.y
+  def g117(x: R1_117) = x.y
+  def g118(x: R1_118) = x.y
+  def g119(x: R1_119) = x.y
+  def g120(x: R1_120) = x.y
+  def g121(x: R1_121) = x.y
+  def g122(x: R1_122) = x.y
+  def g123(x: R1_123) = x.y
+  def g124(x: R1_124) = x.y
+  def g125(x: R1_125) = x.y
+  def g126(x: R1_126) = x.y
+  def g127(x: R1_127) = x.y
+  def g128(x: R1_128) = x.y
+  def g129(x: R1_129) = x.y
+  def g130(x: R1_130) = x.y
+  def g131(x: R1_131) = x.y
+  def g132(x: R1_132) = x.y
+  def g133(x: R1_133) = x.y
+  def g134(x: R1_134) = x.y
+  def g135(x: R1_135) = x.y
+  def g136(x: R1_136) = x.y
+  def g137(x: R1_137) = x.y
+  def g138(x: R1_138) = x.y
+  def g139(x: R1_139) = x.y
+  def g140(x: R1_140) = x.y
+  def g141(x: R1_141) = x.y
+  def g142(x: R1_142) = x.y
+  def g143(x: R1_143) = x.y
+  def h0(x: R2_0) = x.y
+  def h1(x: R2_1) = x.y
+  def h2(x: R2_2) = x.y
+  def h3(x: R2_3) = x.y
+  def h4(x: R2_4) = x.y
+  def h5(x: R2_5) = x.y
+  def h6(x: R2_6) = x.y
+  def h7(x: R2_7) = x.y
+  def h8(x: R2_8) = x.y
+  def h9(x: R2_9) = x.y
+  def h10(x: R2_10) = x.y
+  def h11(x: R2_11) = x.y
+  def h12(x: R2_12) = x.y
+  def h13(x: R2_13) = x.y
+  def h14(x: R2_14) = x.y
+  def h15(x: R2_15) = x.y
+  def h16(x: R2_16) = x.y
+  def h17(x: R2_17) = x.y
+  def h18(x: R2_18) = x.y
+  def h19(x: R2_19) = x.y
+  def h20(x: R2_20) = x.y
+  def h21(x: R2_21) = x.y
+  def h22(x: R2_22) = x.y
+  def h23(x: R2_23) = x.y
+  def h24(x: R2_24) = x.y
+  def h25(x: R2_25) = x.y
+  def h26(x: R2_26) = x.y
+  def h27(x: R2_27) = x.y
+  def h28(x: R2_28) = x.y
+  def h29(x: R2_29) = x.y
+  def h30(x: R2_30) = x.y
+  def h31(x: R2_31) = x.y
+  def h32(x: R2_32) = x.y
+  def h33(x: R2_33) = x.y
+  def h34(x: R2_34) = x.y
+  def h35(x: R2_35) = x.y
+  def h36(x: R2_36) = x.y
+  def h37(x: R2_37) = x.y
+  def h38(x: R2_38) = x.y
+  def h39(x: R2_39) = x.y
+  def h40(x: R2_40) = x.y
+  def h41(x: R2_41) = x.y
+  def h42(x: R2_42) = x.y
+  def h43(x: R2_43) = x.y
+  def h44(x: R2_44) = x.y
+  def h45(x: R2_45) = x.y
+  def h46(x: R2_46) = x.y
+  def h47(x: R2_47) = x.y
+  def h48(x: R2_48) = x.y
+  def h49(x: R2_49) = x.y
+  def h50(x: R2_50) = x.y
+  def h51(x: R2_51) = x.y
+  def h52(x: R2_52) = x.y
+  def h53(x: R2_53) = x.y
+  def h54(x: R2_54) = x.y
+  def h55(x: R2_55) = x.y
+  def h56(x: R2_56) = x.y
+  def h57(x: R2_57) = x.y
+  def h58(x: R2_58) = x.y
+  def h59(x: R2_59) = x.y
+  def h60(x: R2_60) = x.y
+  def h61(x: R2_61) = x.y
+  def h62(x: R2_62) = x.y
+  def h63(x: R2_63) = x.y
+  def h64(x: R2_64) = x.y
+  def h65(x: R2_65) = x.y
+  def h66(x: R2_66) = x.y
+  def h67(x: R2_67) = x.y
+  def h68(x: R2_68) = x.y
+  def h69(x: R2_69) = x.y
+  def h70(x: R2_70) = x.y
+  def h71(x: R2_71) = x.y
+  def h72(x: R2_72) = x.y
+  def h73(x: R2_73) = x.y
+  def h74(x: R2_74) = x.y
+  def h75(x: R2_75) = x.y
+  def h76(x: R2_76) = x.y
+  def h77(x: R2_77) = x.y
+  def h78(x: R2_78) = x.y
+  def h79(x: R2_79) = x.y
+  def h80(x: R2_80) = x.y
+  def h81(x: R2_81) = x.y
+  def h82(x: R2_82) = x.y
+  def h83(x: R2_83) = x.y
+  def h84(x: R2_84) = x.y
+  def h85(x: R2_85) = x.y
+  def h86(x: R2_86) = x.y
+  def h87(x: R2_87) = x.y
+  def h88(x: R2_88) = x.y
+  def h89(x: R2_89) = x.y
+  def h90(x: R2_90) = x.y
+  def h91(x: R2_91) = x.y
+  def h92(x: R2_92) = x.y
+  def h93(x: R2_93) = x.y
+  def h94(x: R2_94) = x.y
+  def h95(x: R2_95) = x.y
+  def h96(x: R2_96) = x.y
+  def h97(x: R2_97) = x.y
+  def h98(x: R2_98) = x.y
+  def h99(x: R2_99) = x.y
+  def h100(x: R2_100) = x.y
+  def h101(x: R2_101) = x.y
+  def h102(x: R2_102) = x.y
+  def h103(x: R2_103) = x.y
+  def h104(x: R2_104) = x.y
+  def h105(x: R2_105) = x.y
+  def h106(x: R2_106) = x.y
+  def h107(x: R2_107) = x.y
+  def h108(x: R2_108) = x.y
+  def h109(x: R2_109) = x.y
+  def h110(x: R2_110) = x.y
+  def h111(x: R2_111) = x.y
+  def h112(x: R2_112) = x.y
+  def h113(x: R2_113) = x.y
+  def h114(x: R2_114) = x.y
+  def h115(x: R2_115) = x.y
+  def h116(x: R2_116) = x.y
+  def h117(x: R2_117) = x.y
+  def h118(x: R2_118) = x.y
+  def h119(x: R2_119) = x.y
+  def h120(x: R2_120) = x.y
+  def h121(x: R2_121) = x.y
+  def h122(x: R2_122) = x.y
+  def h123(x: R2_123) = x.y
+  def h124(x: R2_124) = x.y
+  def h125(x: R2_125) = x.y
+  def h126(x: R2_126) = x.y
+  def h127(x: R2_127) = x.y
+  def h128(x: R2_128) = x.y
+  def h129(x: R2_129) = x.y
+  def h130(x: R2_130) = x.y
+  def h131(x: R2_131) = x.y
+  def h132(x: R2_132) = x.y
+  def h133(x: R2_133) = x.y
+  def h134(x: R2_134) = x.y
+  def h135(x: R2_135) = x.y
+  def h136(x: R2_136) = x.y
+  def h137(x: R2_137) = x.y
+  def h138(x: R2_138) = x.y
+  def h139(x: R2_139) = x.y
+  def h140(x: R2_140) = x.y
+  def h141(x: R2_141) = x.y
+  def h142(x: R2_142) = x.y
+  def h143(x: R2_143) = x.y
+  lazy val fcalls = List(
+    f0,
+    f1,
+    f2,
+    f3,
+    f4,
+    f5,
+    f6,
+    f7,
+    f8,
+    f9,
+    f10,
+    f11,
+    f12,
+    f13,
+    f14,
+    f15,
+    f16,
+    f17,
+    f18,
+    f19,
+    f20,
+    f21,
+    f22,
+    f23,
+    f24,
+    f25,
+    f26,
+    f27,
+    f28,
+    f29,
+    f30,
+    f31,
+    f32,
+    f33,
+    f34,
+    f35,
+    f36,
+    f37,
+    f38,
+    f39,
+    f40,
+    f41,
+    f42,
+    f43,
+    f44,
+    f45,
+    f46,
+    f47,
+    f48,
+    f49,
+    f50,
+    f51,
+    f52,
+    f53,
+    f54,
+    f55,
+    f56,
+    f57,
+    f58,
+    f59,
+    f60,
+    f61,
+    f62,
+    f63,
+    f64,
+    f65,
+    f66,
+    f67,
+    f68,
+    f69,
+    f70,
+    f71,
+    f72,
+    f73,
+    f74,
+    f75,
+    f76,
+    f77,
+    f78,
+    f79,
+    f80,
+    f81,
+    f82,
+    f83,
+    f84,
+    f85,
+    f86,
+    f87,
+    f88,
+    f89,
+    f90,
+    f91,
+    f92,
+    f93,
+    f94,
+    f95,
+    f96,
+    f97,
+    f98,
+    f99,
+    f100,
+    f101,
+    f102,
+    f103,
+    f104,
+    f105,
+    f106,
+    f107,
+    f108,
+    f109,
+    f110,
+    f111,
+    f112,
+    f113,
+    f114,
+    f115,
+    f116,
+    f117,
+    f118,
+    f119,
+    f120,
+    f121,
+    f122,
+    f123,
+    f124,
+    f125,
+    f126,
+    f127,
+    f128,
+    f129,
+    f130,
+    f131,
+    f132,
+    f133,
+    f134,
+    f135,
+    f136,
+    f137,
+    f138,
+    f139,
+    f140,
+    f141,
+    f142,
+    f143
+  )
+
+  def main(args: Array[String]) {
+    sshow("Direct Calls", fcalls collect { case (false, n) => n })
+    sshow("Reflective Calls", fcalls collect { case (true, n) => n })
+    // For a good time try printing this - have to fix bugs in
+    // reflection before that's going to be a good idea
+    // println(typeOf[Test.type].typeSymbol.asClass.typeSignature)
+  }
+}