Add passing test

Needs to be done in pos-special because junit tests do not recognize _1, _2.

Author: odersky

test/dotc/tests.scala

@@ -111,6 +111,13 @@ class tests extends CompilerTest {
 
   @Test def pos_859 = compileFile(posSpecialDir, "i859", scala2mode)(allowDeepSubtypes)
 
+  @Test def pos_t5545 = {
+    // compile by hand in two batches, since junit lacks the infrastructure to
+    // compile files in multiple batches according to _1, _2, ... suffixes.
+    compileFile(posSpecialDir, "spec-t5545/S_1")
+    compileFile(posSpecialDir, "spec-t5545/S_2")
+  }
+
   @Test def new_all = compileFiles(newDir, twice)
   @Test def repl_all = replFiles(replDir)
 

tests/pos-special/spec-t5545/S_1.scala

@@ -0,0 +1,4 @@
+trait F[@specialized(Int) T1, R] {
+  def f(v1: T1): R
+  def g = v1 => f(v1)
+}

tests/pos-special/spec-t5545/S_2.scala

@@ -0,0 +1,4 @@
+trait F[@specialized(Int) T1, R] {
+  def f(v1: T1): R
+  def g = v1 => f(v1)
+}