KSP2: star-projected invariance should become covariant

ting-yuan · KSP Auto Pick · commit 1e4a7d13eb3f · 2025-01-27T17:30:52.000Z
(cherry picked from commit 330d285)
diff --git a/kotlin-analysis-api/src/main/kotlin/com/google/devtools/ksp/impl/symbol/kotlin/util.kt b/kotlin-analysis-api/src/main/kotlin/com/google/devtools/ksp/impl/symbol/kotlin/util.kt
@@ -711,7 +711,7 @@ internal fun getVarianceForWildcard(
     val projectionKind = if (projection is KaTypeArgumentWithVariance) {
         projection.variance
     } else {
-        Variance.INVARIANT
+        Variance.OUT_VARIANCE
     }
     val parameterVariance = parameter.variance
     if (parameterVariance == Variance.INVARIANT) {

Original file line number	Diff line number	Diff line change
`@@ -711,7 +711,7 @@ internal fun getVarianceForWildcard(`
`711`	`711`	`val projectionKind = if (projection is KaTypeArgumentWithVariance) {`
`712`	`712`	`projection.variance`
`713`	`713`	`} else {`
`714`		`- Variance.INVARIANT`
	`714`	`+ Variance.OUT_VARIANCE`
`715`	`715`	`}`
`716`	`716`	`val parameterVariance = parameter.variance`
`717`	`717`	`if (parameterVariance == Variance.INVARIANT) {`