From fe20b9064fca765a38345a09aa484bfb537aa3c0 Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Mon, 14 Nov 2016 11:58:59 +0100
Subject: Pickle and unpickle type trees

Lots of other changes to make positions work out everywhere.
One important change is that now trees can be shared, just
as types can. This change improves memory requirements (a bit)
and also makes positions in shared trees more robust.
---
 tests/pickling/annot.scala | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 tests/pickling/annot.scala

(limited to 'tests/pickling/annot.scala')

diff --git a/tests/pickling/annot.scala b/tests/pickling/annot.scala
new file mode 100644
index 000000000..d20a6cbf4
--- /dev/null
+++ b/tests/pickling/annot.scala
@@ -0,0 +1,12 @@
+trait Type
+class RefinedType extends Type
+
+
+object TestAnnot {
+  def toText(tp: Type) = tp match {
+    case tp: RefinedType =>
+      val parent :: (refined: List[RefinedType @unchecked]) = ???
+      ???
+  }
+  val xs: List[RefinedType @unchecked] = ???
+}
-- 
cgit v1.2.3