[vpm] fix half of my existential troubles

no need for the clunky repackExistential
pack the type of each case instead, since the skolems we've created shouldn't last beyond the case anyway

this way we don't end up with fresh, incompatible, skolems for every case, but a neatly packed existential

1 files changed, 35 insertions, 0 deletions

diff --git a/test/files/pos/virtpatmat_exist4.scala b/test/files/pos/virtpatmat_exist4.scala
new file mode 100644
index 0000000000..a04d0e3229
--- /dev/null
+++ b/test/files/pos/virtpatmat_exist4.scala
@@ -0,0 +1,35 @@
+trait Global {
+  trait Tree
+  trait Symbol { def foo: Boolean }
+}
+
+trait IMain { self:  MemberHandlers =>
+  val global: Global
+  def handlers: List[MemberHandler]
+}
+
+trait MemberHandlers {
+  val intp: IMain
+  import intp.global._
+  sealed abstract class MemberHandler(val member: Tree) {
+    def importedSymbols: List[Symbol]
+  }
+}
+
+object Test {
+  var intp: IMain with MemberHandlers = null
+
+  val handlers = intp.handlers
+  handlers.filterNot(_.importedSymbols.isEmpty).zipWithIndex foreach {
+    case (handler, idx) =>
+      val (types, terms) = handler.importedSymbols partition (_.foo)
+  }
+}
+
+object Test2 {
+  type JClass = java.lang.Class[_]
+
+  def tvarString(bounds: List[AnyRef]) = {
+    bounds collect { case x: JClass => x }
+  }
+}
\ No newline at end of file