diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-04-14 14:41:23 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-04-14 15:55:15 +0200 |
| commit | 2a681ecf7236fb2fdc128f7ab9d5e94d7889fc75 (patch) | |
| tree | bfeb99dda4b7b74d5cc461e4a5c49b8a3fade3a8 /src | |
| parent | b4b688d1720e3bbf1f08424b453f44dede111107 (diff) | |
| download | dotty-2a681ecf7236fb2fdc128f7ab9d5e94d7889fc75.tar.gz dotty-2a681ecf7236fb2fdc128f7ab9d5e94d7889fc75.tar.bz2 dotty-2a681ecf7236fb2fdc128f7ab9d5e94d7889fc75.zip | |
Fix to Select(Tree, Symbol)
As a denotation need to take the symbol's info *as seen from
the qualifier type*.
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index 8b175721f..e9775f1dc 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -30,7 +30,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { def Select(qualifier: Tree, sym: Symbol)(implicit ctx: Context): Select = untpd.Select(qualifier, sym.name).withType( - TermRef.withSig(qualifier.tpe, sym.name.asTermName, sym.signature, sym.denot)) + TermRef.withSig(qualifier.tpe, sym.name.asTermName, sym.signature, sym.denot.asSeenFrom(qualifier.tpe))) def SelectWithSig(qualifier: Tree, name: Name, sig: Signature)(implicit ctx: Context) = untpd.SelectWithSig(qualifier, name, sig) |