From 784e24924307f019ed74d30d6df3c6a676bc0da3 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Wed, 13 Sep 2017 17:59:39 +0200
Subject: [PATCH] Add test for implicit divergence

Error message could be improved
---
 tests/neg/implicitDivergenc.scala | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/neg/implicitDivergenc.scala

diff --git a/tests/neg/implicitDivergenc.scala b/tests/neg/implicitDivergenc.scala
new file mode 100644
index 000000000000..34828e9b1795
--- /dev/null
+++ b/tests/neg/implicitDivergenc.scala
@@ -0,0 +1,13 @@
+object Test {
+  class C[T]
+  implicit def fGen[T](implicit ev: T): C[T] = ???
+  implicit def fString(implicit ev: C[Int]): C[String] = ???
+  implicit def fInt: C[Int] = ???
+
+  implicitly[C[String]]
+  implicitly[C[C[String]]]
+  implicitly[C[C[C[String]]]]
+  implicitly[C[C[C[C[String]]]]]
+  implicitly[C[C[C[C[C[String]]]]]]
+  implicitly[C[C[C[C[C[C[String]]]]]]] // error: no implicit argument found (because of divergence)
+}
\ No newline at end of file