From 48a26b9c2be3cb5390dafa8a13620c91fab0167d Mon Sep 17 00:00:00 2001
From: Paul Phillips <paulp@improving.org>
Date: Sat, 29 Oct 2011 19:34:54 +0000
Subject: Test case closes SI-4875.

No review.
---
 test/files/run/t4875.check | 17 +++++++++++++++++
 test/files/run/t4875.scala | 12 ++++++++++++
 2 files changed, 29 insertions(+)
 create mode 100644 test/files/run/t4875.check
 create mode 100644 test/files/run/t4875.scala

(limited to 'test/files')

diff --git a/test/files/run/t4875.check b/test/files/run/t4875.check
new file mode 100644
index 0000000000..05a398593c
--- /dev/null
+++ b/test/files/run/t4875.check
@@ -0,0 +1,17 @@
+Type in expressions to have them evaluated.
+Type :help for more information.
+
+scala> 
+
+scala> import scala.reflect.Code
+import scala.reflect.Code
+
+scala> def codeOf[A](code: Code[A]) = code
+codeOf: [A](code: scala.reflect.Code[A])scala.reflect.Code[A]
+
+scala> codeOf((x: Iterable[_]) => throw new Exception)
+res0: scala.reflect.Code[Iterable[_] => Nothing] = Code(manifest = scala.Function1[scala.collection.Iterable[Any], Nothing])
+
+scala> 
+
+scala> 
diff --git a/test/files/run/t4875.scala b/test/files/run/t4875.scala
new file mode 100644
index 0000000000..c17211aede
--- /dev/null
+++ b/test/files/run/t4875.scala
@@ -0,0 +1,12 @@
+import scala.tools.nsc.interpreter._
+import scala.tools.partest.ReplTest
+
+object Test extends ReplTest {
+  class M[@specialized T] { }
+
+  def code = """
+  |import scala.reflect.Code
+  |def codeOf[A](code: Code[A]) = code
+  |codeOf((x: Iterable[_]) => throw new Exception)
+  """.stripMargin
+}
-- 
cgit v1.2.3