More @sharable annotations

Also, some code movements in Names to make it more obvious that mutating operations
are only called from synchronized blocks.

1 files changed, 3 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/util/SourcePosition.scala b/src/dotty/tools/dotc/util/SourcePosition.scala
index c88cbc78b..9e02841f2 100644
--- a/src/dotty/tools/dotc/util/SourcePosition.scala
+++ b/src/dotty/tools/dotc/util/SourcePosition.scala
@@ -1,4 +1,5 @@
-package dotty.tools.dotc.util
+package dotty.tools
+package dotc.util
 
 import Positions.{Position, NoPosition}
 
@@ -23,7 +24,7 @@ case class SourcePosition(source: SourceFile, pos: Position) {
 }
 
 /** A sentinel for a non-existing source position */
-object NoSourcePosition extends SourcePosition(NoSource, NoPosition) {
+@sharable object NoSourcePosition extends SourcePosition(NoSource, NoPosition) {
   override def toString = "?"
 }