Analysis of overloaded or recursive is harder than expected

Fall-back to reporting "overloaded or recursive needs type".

1 files changed, 3 insertions, 3 deletions

diff --git a/compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala b/compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala
index 0c40ec477..f11c6dd96 100644
--- a/compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala
+++ b/compiler/test/dotty/tools/dotc/reporting/ErrorMessagesTests.scala
@@ -227,11 +227,11 @@ class ErrorMessagesTests extends ErrorMessagesTest {
       val defn = ictx.definitions
 
       assertMessageCount(1, messages)
-      val OverloadedMethodNeedsResultType(tree) :: Nil = messages
+      val OverloadedOrRecursiveMethodNeedsResultType(tree) :: Nil = messages
       assertEquals("foo", tree.show)
     }
 
-  @Test @Ignore def recursiveMethodNeedsReturnType =
+  @Test def recursiveMethodNeedsReturnType =
     checkMessagesAfter("frontend") {
       """
         |class Scope() {
@@ -244,7 +244,7 @@ class ErrorMessagesTests extends ErrorMessagesTest {
       val defn = ictx.definitions
 
       assertMessageCount(1, messages)
-      val RecursiveMethodNeedsResultType(tree) :: Nil = messages
+      val OverloadedOrRecursiveMethodNeedsResultType(tree) :: Nil = messages
       assertEquals("i", tree.show)
     }