diff options
| author | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-07-13 16:28:42 +0200 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2012-07-18 09:21:52 +0200 |
| commit | 776105a43ef7a7a7c32be8111b496a6762a8ac68 (patch) | |
| tree | d37327c251552e61364a2509b9084ac0e30b3ad0 /test/files/pos | |
| parent | 43dc4cc9f623a50f374feff28b67d7865c85d34c (diff) | |
| download | scala-776105a43ef7a7a7c32be8111b496a6762a8ac68.tar.gz scala-776105a43ef7a7a7c32be8111b496a6762a8ac68.tar.bz2 scala-776105a43ef7a7a7c32be8111b496a6762a8ac68.zip | |
SI-5892 allow implicit views in annotation args
the problem was that lazy annotations got completed in phase pickler.
the `inferView` method in Typers bails out if `isPastTyper`. now the
lazy annotations completes `atPhase(typerPhase)`. test case in `pos`.
the second test case in `neg` is for another bug that is discussed in
a comment of SI-5892. when type checking arguments of type parameter
annotations, the class members should not be in scope. this was alreay
fixed in 9129cfe9.
Diffstat (limited to 'test/files/pos')
| -rw-r--r-- | test/files/pos/t5892.scala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/files/pos/t5892.scala b/test/files/pos/t5892.scala new file mode 100644 index 0000000000..241e59860a --- /dev/null +++ b/test/files/pos/t5892.scala @@ -0,0 +1,5 @@ +class foo(a: String) extends annotation.StaticAnnotation +object o { + implicit def i2s(i: Int) = "" + @foo(1: String) def blerg { } +} |