Incorrect position in desugaring of a destructor val statement #13078
Open
Description
Reproduction steps
Scala version: 2.13.15
object O {
def runtimeResources = {
val (singleFiles, correctEntries) = (???, ???)
}
}desugars to (outprint with -Vprint -Vprint-pos)
[24:126]package [24:24]<empty> {
[24:126]object O extends [33:126][33]scala.AnyRef {
[33]def <init>(): [33]O.type = [33]{
[33][33][33]O.super.<init>();
[33]()
};
[39:124]def runtimeResources: [43]Unit = [62:124]{
<72:118><synthetic> <artifact> private[this] val x$1: [76](Nothing, Nothing) = <76:118>[108:118]([108:118][108][108]scala.Tuple2.apply[[108]Nothing, [108]Nothing]([109:112]scala.Predef.???, [114:117]scala.Predef.???): [108]<type: [NoPosition][108:118][108][108]scala.Tuple2.apply[[108]Nothing, [108]Nothing]([109:112]scala.Predef.???, [114:117]scala.Predef.???): @[108]scala.unchecked>) match {
<76:105>case <76:105>[76]<type: [76]scala.Tuple2>(<77:88>(singleFiles @ [77]_), <90:104>(correctEntries @ [90]_)) =>
// I would expect the positions in line below to be (<77:88>singleFiles, <90:104>correctEntries) or for `x$1` definition to have zero-extend position
<76:105><76:105><76:105>scala.Tuple2.apply[[76]Nothing, [76]Nothing](<76:105>singleFiles, <76:105>correctEntries)
};
[77:88]val singleFiles: [77]Nothing = [77]x$1._1;
[90:104]val correctEntries: [90]Nothing = [90]x$1._2;
[123]()
}
}
}Problem
As noted in the comment I'd expect the positions in the apply with (singleFiles, correctEntries) to either point to the same positions as definitions of singleFiles and correctEntries or for the whole x$1 synthetic definition to have zero extend position.