From aa7a0399ad5424dd5292f2f1941c7293c16d6b79 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Sun, 24 Aug 2014 18:04:22 +0200 Subject: Check that idents don't assume magic. In TreeChecker, make sure that every identifier has a type with an elidable prefix. This excludes identifiers pointing to members of random prefixes without making the prefix explicit in the tree as part of a Select node. --- src/dotty/tools/dotc/typer/EtaExpansion.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/dotty/tools/dotc/typer/EtaExpansion.scala') diff --git a/src/dotty/tools/dotc/typer/EtaExpansion.scala b/src/dotty/tools/dotc/typer/EtaExpansion.scala index 790a848a7..7c1130b83 100644 --- a/src/dotty/tools/dotc/typer/EtaExpansion.scala +++ b/src/dotty/tools/dotc/typer/EtaExpansion.scala @@ -26,7 +26,7 @@ object EtaExpansion { val name = ctx.freshName(prefix).toTermName val sym = ctx.newSymbol(ctx.owner, name, EmptyFlags, expr.tpe.widen, coord = positionCoord(expr.pos)) defs += ValDef(sym, expr) - Ident(sym.valRef) + ref(sym.valRef) } /** Lift out common part of lhs tree taking part in an operator assignment such as -- cgit v1.2.3