From 4619393a6c3b52127ceec07e2fc3630d22aef51a Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Tue, 15 Dec 2015 17:46:39 +0100 Subject: Categorize more tests All pos tests up to 3999 have been triaged. One new test in pending. --- tests/pos/t3866.scala | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 tests/pos/t3866.scala (limited to 'tests/pos/t3866.scala') diff --git a/tests/pos/t3866.scala b/tests/pos/t3866.scala new file mode 100644 index 000000000..f1f64edb9 --- /dev/null +++ b/tests/pos/t3866.scala @@ -0,0 +1,17 @@ +abstract class ImplicitRepeated { + trait T[+A, +B] + trait X + + def f[N, R <: List[_]](elems: T[N, R]*): Unit // alternative a) + def f[N, R <: List[_]](props: String, elems: T[N, R]*): Unit // alternative b) + + // the following implicit causes "cannot be applied" errors + implicit def xToRight(r: X): T[Nothing, X] = null + implicit def anyToN[N](x: N): T[N, Nothing] = null + + + f("A", 1, 2) // should be implicitly resolved to alternative b) + f( 1, 2 ) // should be implicitly resolved to alternative a) + // ImplicitRepeated.this.f[Int, Nothing]("A", ImplicitRepeated.this.anyToN[Int](1), ImplicitRepeated.this.anyToN[Int](2)); + // ImplicitRepeated.this.f[Int, Nothing](ImplicitRepeated.this.anyToN[Int](1), ImplicitRepeated.this.anyToN[Int](2)) +} -- cgit v1.2.3