Merge pull request #3682 from retronym/ticket/8497

SI-8497 Fix regression in pickling of AnnotatedTypes

2 files changed, 14 insertions, 0 deletions

diff --git a/test/files/pos/t8497/A_1.scala b/test/files/pos/t8497/A_1.scala
new file mode 100644
index 0000000000..6a76b0ee99
--- /dev/null
+++ b/test/files/pos/t8497/A_1.scala
@@ -0,0 +1,13 @@
+package p {
+  object Crash {
+    def e(s: (String @java.lang.Deprecated)): Unit = ()
+    def f(s: (String @nonStatic)): Unit = ()
+  }
+  object Ok {
+    def g(s: (String @nonStatic @static)): Unit = ()
+    def h(s: (String @static)): Unit = ()
+  }
+}
+
+class nonStatic extends scala.annotation.Annotation
+class static extends scala.annotation.StaticAnnotation
diff --git a/test/files/pos/t8497/B_2.scala b/test/files/pos/t8497/B_2.scala
new file mode 100644
index 0000000000..efe2edf2c3
--- /dev/null
+++ b/test/files/pos/t8497/B_2.scala
@@ -0,0 +1 @@
+package p { object Test { Crash } }