diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-12 05:44:53 -0800 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-12-12 05:44:53 -0800 |
commit | fcf1adad75553d25ea4e6afe37c971902b11f35e (patch) | |
tree | 15415858005bd3bc59dda8350955917f9f0330d0 /test | |
parent | 312f45d437e48a47f16cb3fe276485adc38345ac (diff) | |
parent | 369f370b1e894893d315de3bd861c9292695f71d (diff) | |
download | scala-fcf1adad75553d25ea4e6afe37c971902b11f35e.tar.gz scala-fcf1adad75553d25ea4e6afe37c971902b11f35e.tar.bz2 scala-fcf1adad75553d25ea4e6afe37c971902b11f35e.zip |
Merge pull request #3241 from retronym/ticket/8054
SI-8054 Fix regression in TypeRef rebind with val overriding object
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/t8054.scala | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/test/files/pos/t8054.scala b/test/files/pos/t8054.scala new file mode 100644 index 0000000000..a7bb44b1ed --- /dev/null +++ b/test/files/pos/t8054.scala @@ -0,0 +1,31 @@ +trait D { + trait Manifest { + class Entry + } + + val M: Manifest + + def m: M.Entry = ??? +} + +object D1 extends D { + object M extends Manifest +} + +object D2 extends D { + val M: Manifest = ??? +} + +object Hello { + + def main(args: Array[String]) { + // 2.10.3 - ok + // 2.11.0-M7 - type mismatch; found : Seq[DB1.MANIFEST.Entry] + // required: Seq[DB1.MANIFEST.Entry] + val t1: D1.M.Entry = D1.m + + // 2.10.3 - ok + // 2.11.0-M7 - ok + val t2: D2.M.Entry = D2.m + } +} |