Seal Realizability

Author: Blaisorblade

compiler/src/dotty/tools/dotc/core/CheckRealizable.scala

@@ -14,7 +14,7 @@ import ast.tpd._
 /** Realizability status */
 object CheckRealizable {
 
-  abstract class Realizability(val msg: String) {
+  sealed abstract class Realizability(val msg: String) {
     def andAlso(other: => Realizability) =
       if (this == Realizable) other else this
     def mapError(f: Realizability => Realizability) =