diff options
| -rw-r--r-- | src/dotty/tools/dotc/parsing/Parsers.scala | 4 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/reporting/diagnostic/messages.scala | 17 |
2 files changed, 19 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/parsing/Parsers.scala b/src/dotty/tools/dotc/parsing/Parsers.scala index 4926ebb9f..95626846d 100644 --- a/src/dotty/tools/dotc/parsing/Parsers.scala +++ b/src/dotty/tools/dotc/parsing/Parsers.scala @@ -1742,8 +1742,8 @@ object Parsers { if (owner == nme.CONSTRUCTOR && (result.isEmpty || (result.head take 1 exists (_.mods is Implicit)))) { in.token match { case LBRACKET => syntaxError("no type parameters allowed here") - case EOF => incompleteInputError("auxiliary constructor needs non-implicit parameter list") - case _ => syntaxError("auxiliary constructor needs non-implicit parameter list", start) + case EOF => incompleteInputError(AuxConstructorNeedsNonImplicitParameter()) + case _ => syntaxError(AuxConstructorNeedsNonImplicitParameter(), start) } } result diff --git a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala index bec49e728..02aa850c5 100644 --- a/src/dotty/tools/dotc/reporting/diagnostic/messages.scala +++ b/src/dotty/tools/dotc/reporting/diagnostic/messages.scala @@ -715,4 +715,21 @@ object messages { |""".stripMargin } } + + case class AuxConstructorNeedsNonImplicitParameter()(implicit ctx:Context) extends Message(26) { + val kind = "Syntax" + val msg = "auxiliary constructor needs non-implicit parameter list" + val explanation = + hl"""Only the primary constructor is allowed an ${"implicit"} parameter list; + |auxiliary constructors need a non-implicit parameter list. When a primary + |constructor has an implicit argslist, auxiliary constructors that call the + |primary constructor must specify the implicit value. + | + |To resolve this issue check for: + | - forgotten parenthesis on ${"this"} (${"def this() = // ..."}) + | - auxiliary constructors specify the implicit value + |""".stripMargin + } + + } |