We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 731a00d commit cd61f3eCopy full SHA for cd61f3e
compiler/src/dotty/tools/dotc/reporting/diagnostic/messages.scala
@@ -1270,7 +1270,8 @@ object messages {
1270
|it calls another, you need to specify the calling method's return type.
1271
|
1272
|Case 2: ${method} is recursive
1273
- |If `${method}` calls itself on any path, you need to specify its return type.
+ |If `${method}` calls itself on any path (even through mutual recursion), you need to specify the return type
1274
+ |of `${method}` or of a definition it's mutually recursive with.
1275
|""".stripMargin
1276
}
1277
0 commit comments