From 6ecca6d2b56918c202627bf95c40f3b7465bb808 Mon Sep 17 00:00:00 2001
From: Simon Ochsenreither <simon@ochsenreither.de>
Date: Fri, 2 Dec 2011 03:48:44 +0100
Subject: Tests for SI-3481.

Closes SI-3481.
---
 test/files/neg/t3481.check | 29 +++++++++++++++++++++++++++++
 test/files/neg/t3481.scala | 28 ++++++++++++++++++++++++++++
 2 files changed, 57 insertions(+)
 create mode 100644 test/files/neg/t3481.check
 create mode 100644 test/files/neg/t3481.scala

(limited to 'test')

diff --git a/test/files/neg/t3481.check b/test/files/neg/t3481.check
new file mode 100644
index 0000000000..48e6ff357b
--- /dev/null
+++ b/test/files/neg/t3481.check
@@ -0,0 +1,29 @@
+t3481.scala:5: error: type mismatch;
+ found   : String("hello")
+ required: _$1 where type +_$1
+    f[A[Int]]("hello")
+              ^
+t3481.scala:11: error: type mismatch;
+ found   : _$2 where type +_$2
+ required: b.T
+    (which expands to)  _$2
+    def f[T <: B[_]](a: T#T, b: T) = b.m(a)
+                                         ^
+t3481.scala:12: error: type mismatch;
+ found   : String("Hello")
+ required: _$2 where type +_$2
+    f("Hello", new B[Int])
+      ^
+t3481.scala:18: error: type mismatch;
+ found   : String("Hello")
+ required: t3481.ex3.b.T2
+    (which expands to)  _$3
+    b.m("Hello")
+        ^
+t3481.scala:25: error: type mismatch;
+ found   : String("Hello")
+ required: t3481.ex4.Test.b.T2
+    (which expands to)  _$4
+      b.m("Hello")
+          ^
+5 errors found
diff --git a/test/files/neg/t3481.scala b/test/files/neg/t3481.scala
new file mode 100644
index 0000000000..f4b781ee37
--- /dev/null
+++ b/test/files/neg/t3481.scala
@@ -0,0 +1,28 @@
+object t3481 {
+  object ex1 {
+    trait A[T] { type B = T }
+    def f[T <: A[_]](a: T#B) = 1
+    f[A[Int]]("hello")
+  }
+
+  object ex2 {
+    trait A { type T; def m(t: T) = t.toString }
+    class B[T2] extends A { type T = T2 }
+    def f[T <: B[_]](a: T#T, b: T) = b.m(a)
+    f("Hello", new B[Int])
+  }
+
+  object ex3 {
+    class B[T] { type T2 = T; def m(t: T2) = t.toString }
+    val b: B[_] = new B[Int]
+    b.m("Hello")
+  }
+
+  object ex4 {
+    abstract class B[T] { type T2 = T; def m(t: T2): Any }
+    object Test {
+      val b: B[_] = sys.error("")
+      b.m("Hello")
+    }
+  }
+}
\ No newline at end of file
-- 
cgit v1.2.3