summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJason Zaugg <jzaugg@gmail.com>2014-03-22 15:31:38 +0100
committerJason Zaugg <jzaugg@gmail.com>2014-03-22 15:31:38 +0100
commitdaa77d15dd11f086ea578f05ab29fb18119ec02d (patch)
tree6f42c0fb15ed0f3c3e5392eaa187b2945b000f33 /src
parent43e06be1b20c9dea726186fc823a09318bc45f85 (diff)
parentdb300d4d9e3eb1de4245ad3aeb686eb5302ae152 (diff)
downloadscala-daa77d15dd11f086ea578f05ab29fb18119ec02d.tar.gz
scala-daa77d15dd11f086ea578f05ab29fb18119ec02d.tar.bz2
scala-daa77d15dd11f086ea578f05ab29fb18119ec02d.zip
Merge pull request #3602 from xeno-by/topic/backport-vampire-warning
[backport] no longer warns on calls to vampire macros
Diffstat (limited to 'src')
-rw-r--r--src/compiler/scala/tools/nsc/typechecker/Typers.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
index e09a509839..8153766784 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala
@@ -4934,7 +4934,7 @@ trait Typers extends Modes with Adaptations with Tags {
if (tree.isInstanceOf[PostfixSelect])
checkFeature(tree.pos, PostfixOpsFeature, name.decode)
- if (tree1.symbol != null && tree1.symbol.isOnlyRefinementMember)
+ if (tree1.symbol != null && tree1.symbol.isOnlyRefinementMember && !tree1.symbol.isMacro)
checkFeature(tree1.pos, ReflectiveCallsFeature, tree1.symbol.toString)
if (qual1.hasSymbolWhich(_.isRootPackage)) treeCopy.Ident(tree1, name)