diff options
Diffstat (limited to 'test/files/pos')
-rw-r--r-- | test/files/pos/t3951/Coll_1.scala | 36 | ||||
-rw-r--r-- | test/files/pos/t3951/Test_2.scala | 4 |
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 +} |