From 627adab5dbddcef8bd57d2b40eaa6a6e40c06cab Mon Sep 17 00:00:00 2001
From: Lukas Rytz <lukas.rytz@epfl.ch>
Date: Fri, 3 Dec 2010 18:47:01 +0000
Subject: close #3951. review by dubochet.

---
 test/files/pos/t3951/Coll_1.scala | 36 ++++++++++++++++++++++++++++++++++++
 test/files/pos/t3951/Test_2.scala |  4 ++++
 2 files changed, 40 insertions(+)
 create mode 100644 test/files/pos/t3951/Coll_1.scala
 create mode 100644 test/files/pos/t3951/Test_2.scala

(limited to 'test/files/pos')

diff --git a/test/files/pos/t3951/Coll_1.scala b/test/files/pos/t3951/Coll_1.scala
new file mode 100644
index 0000000000..c2cc39a1a9
--- /dev/null
+++ b/test/files/pos/t3951/Coll_1.scala
@@ -0,0 +1,36 @@
+trait Document {
+  sealed trait FieldBase
+  trait StaticFieldBase extends FieldBase with StaticDocument
+  trait DynamicFieldBase extends FieldBase with DynamicDocument
+}
+
+sealed trait StaticDocument extends Document {
+  abstract class AbstractField extends FieldBase
+}
+
+sealed trait DynamicDocument extends Document {
+  abstract class AbstractField extends FieldBase
+}
+
+class Coll extends StaticDocument
+
+// similiar issue with annotations
+class ann[T] extends StaticAnnotation
+
+trait StatDoc extends Doc {
+  @ann[StatFB]
+  def foo: Int
+}
+
+trait Doc {
+  @ann[DynDoc#ForceDynDoc]
+  def bar: Int
+  trait StatFB
+  trait DynFB
+}
+
+trait DynDoc extends Doc {
+  @ann[DynFB]
+  def baz: Int
+  trait ForceDynDoc
+}
diff --git a/test/files/pos/t3951/Test_2.scala b/test/files/pos/t3951/Test_2.scala
new file mode 100644
index 0000000000..2519543008
--- /dev/null
+++ b/test/files/pos/t3951/Test_2.scala
@@ -0,0 +1,4 @@
+object Test {
+  new Coll
+  trait T extends StatDoc
+}
-- 
cgit v1.2.3