Also pickle synthetic type positions.

odersky · odersky · commit 3aadd2422abb · 2016-10-26T16:26:54.000+02:00
diff --git a/src/dotty/tools/dotc/ast/TypePositions.scala b/src/dotty/tools/dotc/ast/TypePositions.scala
@@ -15,6 +15,7 @@ object TypePositions {
   /** Encapsulates a type and the position of a corresponding tree */
   case class PosAnnot(pos: Position) extends Annotation {
     def tree(implicit ctx: Context) = EmptyTree
+    override def toString = pos.toString
   }
   
   /** An object to handle the point positions of definitions */
@@ -122,7 +123,7 @@ object TypePositions {
       }
       tpe1 match {
         case AnnotatedType(_, _: PosAnnot) => tpe1
-        case _ => if (!tree.pos.isSynthetic) AnnotatedType(tpe1, PosAnnot(tree.pos)) else tpe1
+        case _ => if (tree.pos.exists) AnnotatedType(tpe1, PosAnnot(tree.pos)) else tpe1
       }
     }    
     convert(tree, tree.tpe)

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,7 @@ object TypePositions {`
`15`	`15`	`/** Encapsulates a type and the position of a corresponding tree */`
`16`	`16`	`case class PosAnnot(pos: Position) extends Annotation {`
`17`	`17`	`def tree(implicit ctx: Context) = EmptyTree`
	`18`	`+ override def toString = pos.toString`
`18`	`19`	`}`
`19`	`20`
`20`	`21`	`/** An object to handle the point positions of definitions */`
`@@ -122,7 +123,7 @@ object TypePositions {`
`122`	`123`	`}`
`123`	`124`	`tpe1 match {`
`124`	`125`	`case AnnotatedType(_, _: PosAnnot) => tpe1`
`125`		`- case _ => if (!tree.pos.isSynthetic) AnnotatedType(tpe1, PosAnnot(tree.pos)) else tpe1`
	`126`	`+ case _ => if (tree.pos.exists) AnnotatedType(tpe1, PosAnnot(tree.pos)) else tpe1`
`126`	`127`	`}`
`127`	`128`	`}`
`128`	`129`	`convert(tree, tree.tpe)`