diff options
author | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:05 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-10 16:18:23 +0200 |
commit | bb0faff0d45f873fff9054fd8baec92eabb78c3d (patch) | |
tree | 1ab4f4dc9d5d1a1a3ca2d7f632b1aebe4ea59e41 /tests/neg | |
parent | b3d683a4088f3db894c026070449637ec74e92fd (diff) | |
download | dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.gz dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.tar.bz2 dotty-bb0faff0d45f873fff9054fd8baec92eabb78c3d.zip |
Skolemize arguments to dependent methods as necessary.
This was missing before, led to errors not being detected.
Diffstat (limited to 'tests/neg')
-rw-r--r-- | tests/neg/i2142.scala | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/neg/i2142.scala b/tests/neg/i2142.scala new file mode 100644 index 000000000..7aeef95f0 --- /dev/null +++ b/tests/neg/i2142.scala @@ -0,0 +1,28 @@ +object Foo { + +class A +val a1 = new A() +val a2 = new A() + +def f(x: A, y: x.type) = () +f(a1, a1) // ok +f(a1, a2) // error +f(new A(), new A()) // error +f(new A(), a1) // error + +def g(x: A)(y: x.type) = () +g(a1)(a1) // ok +g(a1)(a2) // error +g(new A())(new A()) // error +g(new A())(a1) // error + +val x0 = g(new A()) _ +x0 (new A()) // error + +class C[T] + +def h(x: A): C[x.type] = ??? +val x = h(a1) +val y = h(new A()) + +} |