diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-09-13 18:03:43 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-09-13 18:04:35 +0200 |
| commit | b22dc6d50f675ff713fd19e243f9cd439d7791b1 (patch) | |
| tree | 42fd5145c0ddaad2a15366938ec251524f7e44c6 /src/dotty/tools/dotc/ast/tpd.scala | |
| parent | 5634dcc1490de05dbf5b3f2637a7e0eb4be8d6d0 (diff) | |
| download | dotty-b22dc6d50f675ff713fd19e243f9cd439d7791b1.tar.gz dotty-b22dc6d50f675ff713fd19e243f9cd439d7791b1.tar.bz2 dotty-b22dc6d50f675ff713fd19e243f9cd439d7791b1.zip | |
Revert of b2e0e7b4 "tpd.TreeOps#select creates non member syms after erasure."
With the new more systematic treatment of fresh symbols in TreeTypeMap, this
is no longer ncessary.
Diffstat (limited to 'src/dotty/tools/dotc/ast/tpd.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index cb1a265c3..9a8ef16eb 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -522,8 +522,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { def select(sym: Symbol)(implicit ctx: Context): Select = untpd.Select(tree, sym.name).withType( - if (ctx.erasedTypes) TermRef.withFixedSym(tree.tpe, sym.name.asTermName, sym.asTerm) - else TermRef.withSigAndDenot(tree.tpe, sym.name.asTermName, sym.signature, sym.denot.asSeenFrom(tree.tpe))) + TermRef.withSigAndDenot(tree.tpe, sym.name.asTermName, sym.signature, sym.denot.asSeenFrom(tree.tpe))) def selectWithSig(name: Name, sig: Signature)(implicit ctx: Context) = untpd.SelectWithSig(tree, name, sig) |