Skip to content

Commit 499fae2

Browse files
committed
Move withSpans out of desugarIdentPrefix
1 parent 0ed04dc commit 499fae2

File tree

2 files changed

+7
-4
lines changed

2 files changed

+7
-4
lines changed

compiler/src/dotty/tools/dotc/ast/tpd.scala

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1253,15 +1253,15 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
12531253
def desugarIdent(tree: Ident)(implicit ctx: Context): Tree = {
12541254
val qual = desugarIdentPrefix(tree)
12551255
if (qual.isEmpty) tree
1256-
else qual.select(tree.symbol).withSpan(tree.span)
1256+
else qual.select(tree.symbol)
12571257
}
12581258

12591259
/** Recover identifier prefix (e.g. this) if it exists */
12601260
def desugarIdentPrefix(tree: Ident)(implicit ctx: Context): Tree = tree.tpe match {
12611261
case TermRef(prefix: TermRef, _) =>
1262-
ref(prefix).withSpan(tree.span)
1262+
ref(prefix)
12631263
case TermRef(prefix: ThisType, _) =>
1264-
This(prefix.cls).withSpan(tree.span)
1264+
This(prefix.cls)
12651265
case _ =>
12661266
EmptyTree
12671267
}

compiler/src/dotty/tools/dotc/transform/TypeTestsCasts.scala

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -312,7 +312,10 @@ object TypeTestsCasts {
312312
}
313313
val expr = tree.fun match {
314314
case Select(expr, _) => expr
315-
case i: Ident => desugarIdentPrefix(i)
315+
case i: Ident =>
316+
val expr = desugarIdentPrefix(i)
317+
if (expr.isEmpty) expr
318+
else expr.withSpan(i.span)
316319
case _ => EmptyTree
317320
}
318321
interceptWith(expr)

0 commit comments

Comments
 (0)