2 files changed, 29 insertions, 0 deletions
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
+}