diff options
author | Martin Odersky <odersky@gmail.com> | 2010-03-05 15:31:40 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2010-03-05 15:31:40 +0000 |
commit | 87b2ffd8db7a2d236a85b2e0f9e4dcd4db15b001 (patch) | |
tree | 8c16e4eff5cd573b222bb9877a7467eeb2a9abcd /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | 34b2093601b4047d27d848df603895629ed31c0e (diff) | |
download | scala-87b2ffd8db7a2d236a85b2e0f9e4dcd4db15b001.tar.gz scala-87b2ffd8db7a2d236a85b2e0f9e4dcd4db15b001.tar.bz2 scala-87b2ffd8db7a2d236a85b2e0f9e4dcd4db15b001.zip |
Closes #3037. Review by extempore.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index b0afda02f1..d6eafcde39 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -4185,14 +4185,17 @@ trait Typers { self: Analyzer => /** Types qualifier <code>tree</code> of a select node. * E.g. is tree occurs in a context like <code>tree.m</code>. - * - * @param tree ... - * @return ... + */ + def typedQualifier(tree: Tree, mode: Int, pt: Type): Tree = + typed(tree, EXPRmode | QUALmode | POLYmode | mode & TYPEPATmode, pt) // TR: don't set BYVALmode, since qualifier might end up as by-name param to an implicit + + /** Types qualifier <code>tree</code> of a select node. + * E.g. is tree occurs in a context like <code>tree.m</code>. */ def typedQualifier(tree: Tree, mode: Int): Tree = - typed(tree, EXPRmode | QUALmode | POLYmode | mode & TYPEPATmode, WildcardType) // TR: don't set BYVALmode, since qualifier might end up as by-name param to an implicit + typedQualifier(tree, mode, WildcardType) - def typedQualifier(tree: Tree): Tree = typedQualifier(tree, NOmode) + def typedQualifier(tree: Tree): Tree = typedQualifier(tree, NOmode, WildcardType) /** Types function part of an application */ def typedOperator(tree: Tree): Tree = |