diff --git a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt index 679d04fc4dd..19fda5d0369 100644 --- a/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt +++ b/java/kotlin-extractor/src/main/kotlin/KotlinFileExtractor.kt @@ -51,6 +51,7 @@ import org.jetbrains.kotlin.load.java.structure.JavaTypeParameter import org.jetbrains.kotlin.load.java.structure.JavaTypeParameterListOwner import org.jetbrains.kotlin.load.java.structure.impl.classFiles.BinaryJavaClass import org.jetbrains.kotlin.name.FqName +import org.jetbrains.kotlin.name.SpecialNames import org.jetbrains.kotlin.types.Variance import org.jetbrains.kotlin.util.OperatorNameConventions import org.jetbrains.kotlin.psi.KtClass @@ -3489,7 +3490,13 @@ open class KotlinFileExtractor( val exprId = tw.getFreshIdLabel() val locId = getPsiBasedLocation(v) ?: tw.getLocation(getVariableLocationProvider(v)) val type = useType(v.type) - tw.writeLocalvars(varId, v.name.asString(), type.javaResult.id, exprId) + // K2 names a source `_` (unused) local/catch variable with the synthetic + // SpecialNames.UNDERSCORE_FOR_UNUSED_VAR (``), whereas K1 keeps the + // source spelling `_`. Emit `_` so both frontends produce the same, source-faithful + // name (D15). + val varName = + if (v.name == SpecialNames.UNDERSCORE_FOR_UNUSED_VAR) "_" else v.name.asString() + tw.writeLocalvars(varId, varName, type.javaResult.id, exprId) tw.writeLocalvarsKotlinType(varId, type.kotlinResult.id) tw.writeHasLocation(varId, locId) tw.writeExprs_localvariabledeclexpr(exprId, type.javaResult.id, parent, idx) diff --git a/java/ql/test-kotlin2/query-tests/UnderscoreIdentifier/test.expected b/java/ql/test-kotlin2/query-tests/UnderscoreIdentifier/test.expected index b5c3502a094..69b63cb3759 100644 --- a/java/ql/test-kotlin2/query-tests/UnderscoreIdentifier/test.expected +++ b/java/ql/test-kotlin2/query-tests/UnderscoreIdentifier/test.expected @@ -4,4 +4,4 @@ | Test.kt:6:9:6:26 | Pair p | | Test.kt:7:9:7:26 | Pair | | Test.kt:7:14:7:18 | int first | -| Test.kt:8:14:8:25 | Exception | +| Test.kt:8:14:8:25 | Exception _ |