We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
compiletime.testing.Error
1 parent a094367 commit b322951Copy full SHA for b322951
library/src/scala/compiletime/testing/Error.scala
@@ -9,7 +9,7 @@ package scala.compiletime.testing
9
* version to version. This API is to be used for testing purposes
10
* only.
11
*/
12
-case class Error(message: String, lineContent: String, column: Int, kind: ErrorKind)
+final case class Error(message: String, lineContent: String, column: Int, kind: ErrorKind)
13
14
/** An error can be either a parse-time or a typecheck-time */
15
sealed trait ErrorKind // TODO make this enum, so far not doable because ScalaJS compilation fails on it
0 commit comments