close #3951. review by dubochet.

2 files changed, 40 insertions, 0 deletions

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
+}