diff options
author | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-08-28 13:53:45 -0700 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2013-08-28 13:53:45 -0700 |
commit | 996a95dac9cff30313316cc6b2448ec381852042 (patch) | |
tree | cf3b901455eb909b8f01381c1fdee7ddf9f8c6ca /test/files | |
parent | 8a292cb6eed15828762ed8291c723199da5100e5 (diff) | |
parent | d877d0cb32a1198d7b40fe0c4583b6f4f488dc52 (diff) | |
download | scala-996a95dac9cff30313316cc6b2448ec381852042.tar.gz scala-996a95dac9cff30313316cc6b2448ec381852042.tar.bz2 scala-996a95dac9cff30313316cc6b2448ec381852042.zip |
Merge pull request #2847 from retronym/ticket/7501
SI-7501 Pickler: owner adjustment for param syms in annotation args
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/t7501.check | 7 | ||||
-rw-r--r-- | test/files/neg/t7501/t7501_1.scala | 12 | ||||
-rw-r--r-- | test/files/neg/t7501/t7501_2.scala | 5 |
3 files changed, 24 insertions, 0 deletions
diff --git a/test/files/neg/t7501.check b/test/files/neg/t7501.check new file mode 100644 index 0000000000..2ded07c7ed --- /dev/null +++ b/test/files/neg/t7501.check @@ -0,0 +1,7 @@ +t7501_2.scala:2: error: value name is not a member of A + def foo(a: A) = a.name + ^ +t7501_2.scala:4: error: not found: type X + type TP = X // already failed before this fix + ^ +two errors found diff --git a/test/files/neg/t7501/t7501_1.scala b/test/files/neg/t7501/t7501_1.scala new file mode 100644 index 0000000000..323c327623 --- /dev/null +++ b/test/files/neg/t7501/t7501_1.scala @@ -0,0 +1,12 @@ +object Test2 { + def test[X](name: String) = 12 +} +class strangeTest(x: Int) extends scala.annotation.StaticAnnotation + +trait A { + // When picking the type of `test`, the value parameter + // `x` was pickled with the owner `trait A`. On unpickling, + // it was taken to be a member! + @strangeTest(Test2.test("test")) + def test(x: String): Unit +} diff --git a/test/files/neg/t7501/t7501_2.scala b/test/files/neg/t7501/t7501_2.scala new file mode 100644 index 0000000000..044caea3c3 --- /dev/null +++ b/test/files/neg/t7501/t7501_2.scala @@ -0,0 +1,5 @@ +object Test { + def foo(a: A) = a.name + + type TP = X // already failed before this fix +} |