Add @sharable annotation

odersky · odersky · commit fdcef4ce8228 · 2017-10-03T12:04:17.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Contexts.scala b/compiler/src/dotty/tools/dotc/core/Contexts.scala
@@ -700,7 +700,8 @@ object Contexts {
       myBounds = myBounds.updated(sym, b)
     def bounds = myBounds
   }
-  object EmptyGADTMap extends GADTMap(SimpleMap.Empty) {
+
+  @sharable object EmptyGADTMap extends GADTMap(SimpleMap.Empty) {
     override def setBounds(sym: Symbol, b: TypeBounds) = unsupported("EmptyGADTMap.setBound")
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -700,7 +700,8 @@ object Contexts {`
`700`	`700`	`myBounds = myBounds.updated(sym, b)`
`701`	`701`	`def bounds = myBounds`
`702`	`702`	`}`
`703`		`- object EmptyGADTMap extends GADTMap(SimpleMap.Empty) {`
	`703`	`+`
	`704`	`+ @sharable object EmptyGADTMap extends GADTMap(SimpleMap.Empty) {`
`704`	`705`	`override def setBounds(sym: Symbol, b: TypeBounds) = unsupported("EmptyGADTMap.setBound")`
`705`	`706`	`}`
`706`	`707`	`}`