From c6a09827b2c871cf85bbd0b87c55acb8344d3b97 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 23 Feb 2017 13:10:28 +0100
Subject: Better error messages for missing type of recursive definitions

---
 tests/neg/i2001.scala | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tests/neg/i2001.scala

(limited to 'tests')

diff --git a/tests/neg/i2001.scala b/tests/neg/i2001.scala
new file mode 100644
index 000000000..82518890c
--- /dev/null
+++ b/tests/neg/i2001.scala
@@ -0,0 +1,6 @@
+class A {
+  def odd(x: Int) = if (x == 0) false else !even(x-1)
+  def even(x: Int) = if (x == 0) true else !odd(x-1) // error: overloaded or recursive method needs result type
+
+  lazy val x = x // error: recursive value needs type
+}
-- 
cgit v1.2.3