Add passing test

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

3 files changed, 15 insertions, 0 deletions

diff --git a/test/dotc/tests.scala b/test/dotc/tests.scala
index ad4846c18..31e74fa97 100644
--- a/test/dotc/tests.scala
+++ b/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)
 
diff --git a/tests/pos-special/spec-t5545/S_1.scala b/tests/pos-special/spec-t5545/S_1.scala
new file mode 100644
index 000000000..59ec1fd85
--- /dev/null
+++ b/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)
+}
diff --git a/tests/pos-special/spec-t5545/S_2.scala b/tests/pos-special/spec-t5545/S_2.scala
new file mode 100644
index 000000000..59ec1fd85
--- /dev/null
+++ b/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)
+}