Test for divergence checking

Author: odersky

compiler/src/dotty/tools/dotc/config/Printers.scala

@@ -17,7 +17,7 @@ object Printers {
   val checks: Printer = noPrinter
   val config: Printer = noPrinter
   val cyclicErrors: Printer = noPrinter
-  val debug = noPrinter             // no type annotion here to force inlining
+  val debug = noPrinter             // no type annotation here to force inlining
   val derive: Printer = noPrinter
   val dottydoc: Printer = noPrinter
   val exhaustivity: Printer = noPrinter

tests/run/implied-divergence.scala

@@ -0,0 +1,13 @@
+// Checks that divergence checking works before going into
+// recursions.
+case class E(x: E | Null)
+
+implied e for E(null)
+
+object Test extends App {
+
+  implied f given (e: E) for E(e)
+
+  assert(the[E].toString == "E(E(null))")
+
+}