Throw exception for TypeError.getMessage

liufengyun · liufengyun · commit 5f9f3648db76 · 2019-02-01T11:23:31.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/core/TypeErrors.scala b/compiler/src/dotty/tools/dotc/core/TypeErrors.scala
@@ -17,7 +17,8 @@ import config.Printers.cyclicErrors
 
 class TypeError(msg: String) extends Exception(msg) {
   def this() = this("")
-  def toMessage(implicit ctx: Context): Message = getMessage
+  def toMessage(implicit ctx: Context): Message = super.getMessage
+  override def getMessage: String = throw new Exception("Use toMessage instead for TypeError")
 }
 
 class MalformedType(pre: Type, denot: Denotation, absMembers: Set[Name]) extends TypeError {

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,8 @@ import config.Printers.cyclicErrors`
`17`	`17`
`18`	`18`	`class TypeError(msg: String) extends Exception(msg) {`
`19`	`19`	`def this() = this("")`
`20`		`- def toMessage(implicit ctx: Context): Message = getMessage`
	`20`	`+ def toMessage(implicit ctx: Context): Message = super.getMessage`
	`21`	`+ override def getMessage: String = throw new Exception("Use toMessage instead for TypeError")`
`21`	`22`	`}`
`22`	`23`
`23`	`24`	`class MalformedType(pre: Type, denot: Denotation, absMembers: Set[Name]) extends TypeError {`