Avoid sharing a mutable empty GadtConstraint!

scala · Oct 17, 2022 · e6a9ffd · e6a9ffd
1 parent 4e8a1a6
commit e6a9ffd
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala b/compiler/src/dotty/tools/dotc/core/GadtConstraint.scala
@@ -10,10 +10,9 @@ import util.{SimpleIdentitySet, SimpleIdentityMap}
 import collection.mutable
 import printing._
 
-import scala.annotation.internal.sharable
-
 object GadtConstraint:
-  @sharable val empty: GadtConstraint =
+  def apply(): GadtConstraint = empty
+  def empty: GadtConstraint =
     new ProperGadtConstraint(OrderingConstraint.empty, SimpleIdentityMap.empty, SimpleIdentityMap.empty, false)
 
 /** Represents GADT constraints currently in scope */