[FE] Fix KDoc of simplifyUpperConstraint

cypressious · Space Team · commit 6cbef3217c8b · 2025-09-04T20:38:00.000Z
diff --git a/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/TypeCheckerStateForConstraintSystem.kt b/compiler/resolution.common/src/org/jetbrains/kotlin/resolve/calls/inference/components/TypeCheckerStateForConstraintSystem.kt
@@ -409,7 +409,7 @@ abstract class TypeCheckerStateForConstraintSystem(
     }
 
     /**
-     * T! <: Foo <=> T <: Foo & Any..Foo?
+     * T! <: Foo <=> T <: Foo!
      * T? <: Foo <=> T <: Foo && Nothing? <: Foo
      * T  <: Foo -- leave as is
      * T & Any <: Foo <=> T <: Foo?

Original file line number	Diff line number	Diff line change
`@@ -409,7 +409,7 @@ abstract class TypeCheckerStateForConstraintSystem(`
`409`	`409`	`}`
`410`	`410`
`411`	`411`	`/**`
`412`		`- * T! <: Foo <=> T <: Foo & Any..Foo?`
	`412`	`+ * T! <: Foo <=> T <: Foo!`
`413`	`413`	`* T? <: Foo <=> T <: Foo && Nothing? <: Foo`
`414`	`414`	`* T <: Foo -- leave as is`
`415`	`415`	`* T & Any <: Foo <=> T <: Foo?`