diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-03-16 16:26:32 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-03-16 16:38:07 +0100 |
commit | f0468537e8b95d15b81f3480ae24555ddb029d36 (patch) | |
tree | 612e5d46c368823736f7c8a03fe3a8132af49877 /test/files/neg/t7259.scala | |
parent | b7b4f877326acd6a8a24ff60fa1638cc18143c45 (diff) | |
download | scala-f0468537e8b95d15b81f3480ae24555ddb029d36.tar.gz scala-f0468537e8b95d15b81f3480ae24555ddb029d36.tar.bz2 scala-f0468537e8b95d15b81f3480ae24555ddb029d36.zip |
SI-7259 Fix detection of Java defined Selects
The fix for SI-3120, 3ff7743, introduced a fallback within
`typedSelect` that accounted for the ambiguity of a Java
selection syntax. Does `A.B` refer to a member of the type `A`
or of the companion object `A`? (The companion object here is a
fiction used by scalac to group the static members of a Java
class.)
The fallback in `typedSelect` was predicated on
`context.owner.enclosingTopLevelClass.isJavaDefined`.
However, this was incorrectly including Select-s in top-level
annotations in Scala files, which are owned by the enclosing
package class, which is considered to be Java defined. This
led to nonsensical error messages ("type scala not found.")
Instead, this commit checks the compilation unit of the context,
which is more direct and correct. (As I learned recently,
`currentUnit.isJavaDefined` would *not* be correct, as a lazy type
might complete a Java signature while compiling some other compilation
unit!)
A bonus post factum test case is included for SI-3120.
Diffstat (limited to 'test/files/neg/t7259.scala')
-rw-r--r-- | test/files/neg/t7259.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/files/neg/t7259.scala b/test/files/neg/t7259.scala new file mode 100644 index 0000000000..0fdfe18822 --- /dev/null +++ b/test/files/neg/t7259.scala @@ -0,0 +1,9 @@ +@xxxxx // error: not found: type xxxx +class Ok + +// +// This had the wrong error message in 2.9 and 2.10. +// + +@annotation.xxxxx // error: not found: type scala +class WrongErrorMessage |