diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-03 18:47:01 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-03 18:47:01 +0000 |
commit | 627adab5dbddcef8bd57d2b40eaa6a6e40c06cab (patch) | |
tree | 2eb20e317f78612a2c2c8a47dc0e8f7420ddfd2d /test/files/pos | |
parent | 3a783937bf97a9180e303da90cea8077f75d3e9b (diff) | |
download | scala-627adab5dbddcef8bd57d2b40eaa6a6e40c06cab.tar.gz scala-627adab5dbddcef8bd57d2b40eaa6a6e40c06cab.tar.bz2 scala-627adab5dbddcef8bd57d2b40eaa6a6e40c06cab.zip |
close #3951. review by dubochet.
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 +} |