gixed gilles' gadt problems. Added some tests

3 files changed, 50 insertions, 0 deletions

diff --git a/test/files/pos/gadt-gilles.scala b/test/files/pos/gadt-gilles.scala
new file mode 100644
index 0000000000..662be9017d
--- /dev/null
+++ b/test/files/pos/gadt-gilles.scala
@@ -0,0 +1,37 @@
+object Test {
+    trait A[T]
+    trait B[U, V] extends A[U with V] // indirect constraint
+    trait C
+    trait D
+
+  val x: A[C with D] = new B[C, D] {}
+  val y: A[C with D] = x match { case b: B[u, v] => (new B[u, v] {}): A[u with v] } // OK
+
+
+  def f[T, U](p: A[T with U]): A[T with U] = p match { case b: B[u, v] => new A[u with v] {} } // Not OK
+}
+
+object Test1 {
+
+ trait T[U, V <: U]
+
+ def f(r: Any) = r match {
+
+   case t: T[u, v] => new T[u, v]{}
+
+ }
+
+}
+object Test2 {
+
+ trait T[U, V <: U]
+
+ val x: T[Int, Int] = new T[Int, Int]{}
+
+ x match {
+
+   case t: T[u, v] => new T[u, v]{}
+
+ }
+
+}
diff --git a/test/files/pos/t0504.scala b/test/files/pos/t0504.scala
new file mode 100644
index 0000000000..b2b0b85e43
--- /dev/null
+++ b/test/files/pos/t0504.scala
@@ -0,0 +1,9 @@
+package b {
+  class B
+}
+
+package a.b {
+  class A {
+    val x = new _root_.b.B
+  }
+}
diff --git a/test/files/pos/t0971.java b/test/files/pos/t0971.java
new file mode 100755
index 0000000000..d852ef698d
--- /dev/null
+++ b/test/files/pos/t0971.java
@@ -0,0 +1,4 @@
+class A {
+    int y = 1, z;
+    static Object x = new java.util.HashMap<Object , Object > () ;
+}
\ No newline at end of file