Merge pull request #294 from samuelgruetter/tests-rewrite-2

Run rewrite tool on tests (2)

1 files changed, 22 insertions, 0 deletions

diff --git a/tests/pending/pos/t5330.scala b/tests/pending/pos/t5330.scala
new file mode 100644
index 000000000..24aab7733
--- /dev/null
+++ b/tests/pending/pos/t5330.scala
@@ -0,0 +1,22 @@
+trait FM[A] {
+  def map(f: A => Any): Unit
+}
+
+trait M[A] extends FM[A] {
+  def map(f: A => Any): Unit
+}
+
+trait N[A] extends FM[A]
+
+object test {
+  def kaboom(xs: M[_]) = xs map (x => ()) // missing parameter type.
+
+  def okay1[A](xs: M[A]) = xs map (x => ())
+  def okay2(xs: FM[_]) = xs map (x => ())
+  def okay3(xs: N[_]) = xs map (x => ())
+}
+
+class CC2(xs: List[_]) {
+  def f(x1: Any, x2: Any) = null
+  def g = xs map (x => f(x, x))
+}