Merge pull request #1658 from dotty-staging/fix-#1639

Fix #1639: Changes around implicits and apply methods

1 files changed, 10 insertions, 0 deletions

diff --git a/tests/neg/i1639.scala b/tests/neg/i1639.scala
new file mode 100644
index 000000000..952cb5ed8
--- /dev/null
+++ b/tests/neg/i1639.scala
@@ -0,0 +1,10 @@
+class Bar {
+  implicit def f(implicit x: String): String = x
+
+  implicitly[String](f) // error: divergent (turn -explaintypes on to see it)
+}
+
+class Foo(implicit val bar: String) {
+  def this() = this("baz") // error: none of the alternatives match arguments
+}
+