From 2e092d4822d044312317c502badd8ad5c2674b58 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Sat, 21 Jan 2012 11:22:28 +0100
Subject: Fix for problem in SBT that was caused by the too severe fix of type
 soundness problem t5120.

---
 test/files/pos/t5120.scala | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 test/files/pos/t5120.scala

(limited to 'test')

diff --git a/test/files/pos/t5120.scala b/test/files/pos/t5120.scala
new file mode 100644
index 0000000000..2c193d129d
--- /dev/null
+++ b/test/files/pos/t5120.scala
@@ -0,0 +1,26 @@
+// An example extracted from SBT by Iulian 
+// that showed that the previous fix to t5120 
+// was too strict.
+class Test {
+  class ScopedKey[T]
+  class Value[T]
+
+  class Compiled[T](val settings: Seq[Pair[T]])
+  
+  case class Pair[T](k: ScopedKey[T], v: ScopedKey[T])
+
+  def transform[T](x: T) = x
+
+  def test(compiledSettings: Seq[Compiled[_]]) =  {
+    compiledSettings flatMap { cs => // cd: Compiled[_] in both versions
+      (cs.settings  map { s =>       // cs.settings: Seq[Compiled[$1]] in trunk, Seq[Compiled[$1]] forSome $1 in 2.9.1
+                                     // s: Pair[$1] in trunk, Pair[$1] in 2.9.1
+        val t = transform(s.v)       // t: ScopedKey[_] in trunk, ScopedKey[$1] in 2.9.1
+        foo(s.k, t)
+        t
+     }) : Seq[ScopedKey[_]]
+    }
+  }
+
+  def foo[T](x: ScopedKey[T], v: ScopedKey[T]) {}
+}
-- 
cgit v1.2.3