diff options
-rw-r--r-- | test/dotc/tests.scala | 7 | ||||
-rw-r--r-- | tests/pos-special/spec-t5545/S_1.scala | 4 | ||||
-rw-r--r-- | tests/pos-special/spec-t5545/S_2.scala | 4 |
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) +} |