diff options
-rw-r--r-- | test/files/pos/bug4757/A_2.scala | 4 | ||||
-rw-r--r-- | test/files/pos/bug4757/B_3.scala | 3 | ||||
-rw-r--r-- | test/files/pos/bug4757/P_1.scala | 6 |
3 files changed, 13 insertions, 0 deletions
diff --git a/test/files/pos/bug4757/A_2.scala b/test/files/pos/bug4757/A_2.scala new file mode 100644 index 0000000000..63106a6179 --- /dev/null +++ b/test/files/pos/bug4757/A_2.scala @@ -0,0 +1,4 @@ +object A { + def ss = P.x(3)(Nil) +} + diff --git a/test/files/pos/bug4757/B_3.scala b/test/files/pos/bug4757/B_3.scala new file mode 100644 index 0000000000..b50d1cd834 --- /dev/null +++ b/test/files/pos/bug4757/B_3.scala @@ -0,0 +1,3 @@ +object C { + def x: Seq[S[_]] = A.ss +} diff --git a/test/files/pos/bug4757/P_1.scala b/test/files/pos/bug4757/P_1.scala new file mode 100644 index 0000000000..8f01a4b669 --- /dev/null +++ b/test/files/pos/bug4757/P_1.scala @@ -0,0 +1,6 @@ +trait S[T] + +object P { + def x(t: Int)(ss: Seq[S[_]]): Seq[S[_]] = ss +} + |