Merge pull request #799 from dotty-staging/change-inference

Change inference

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/pos/i739.scala b/tests/pos/i739.scala
new file mode 100644
index 000000000..61fed4e5d
--- /dev/null
+++ b/tests/pos/i739.scala
@@ -0,0 +1,17 @@
+class Foo
+
+object Test {
+  def foo[T](x: T)(implicit ev: T): T = ???
+
+  class Fn[T] {
+    def invoke(implicit ev: T): T = ???
+  }
+
+  def bar[T](x: T): Fn[T] = ???
+
+  def test: Unit = {
+    implicit val evidence: Foo = new Foo
+    foo(new Foo)
+    bar(new Foo).invoke
+  }
+}