Merge pull request #1785 from dotty-staging/fix-#1784

Fix #1784: allow to omit types for local implicit vals

1 files changed, 7 insertions, 0 deletions

diff --git a/tests/neg/implicitDefs.scala b/tests/neg/implicitDefs.scala
index 1489344c8..3bfe60434 100644
--- a/tests/neg/implicitDefs.scala
+++ b/tests/neg/implicitDefs.scala
@@ -8,4 +8,11 @@ object implicitDefs {
   implicit val x = 2 // error: type of implicit definition needs to be given explicitly
   implicit def y(x: Int) = 3 // error: result type of implicit definition needs to be given explicitly
   implicit def z(a: x.type): String = "" // error: implicit conversion may not have a parameter of singleton type
+
+  def foo(implicit x: String) = 1
+
+  def bar() = {
+    implicit val x = foo // error: cyclic reference
+    x
+  }
 }