Add clarification comments to some shouldKeepTypeVariableBasedType impls

^KT-61090 Related
This commit is contained in:
Denis.Zharkov
2023-08-09 11:55:44 +02:00
committed by Space Team
parent 6b50d0a44f
commit 1eb0c606da
@@ -65,6 +65,7 @@ open class TypeApproximatorConfiguration {
override val integerLiteralConstantType: Boolean get() = true
override val intersectionTypesInContravariantPositions: Boolean get() = true
// Probably, it's worth thinking of returning true only for delegated property accessors, see KT-61090
override fun shouldKeepTypeVariableBasedType(marker: TypeVariableTypeConstructorMarker, isK2: Boolean): Boolean = isK2
}
@@ -75,6 +76,7 @@ open class TypeApproximatorConfiguration {
override val integerLiteralConstantType: Boolean get() = true
override val intersectionTypesInContravariantPositions: Boolean get() = true
// Probably, it's worth thinking of returning true only for delegated property accessors, see KT-61090
override fun shouldKeepTypeVariableBasedType(marker: TypeVariableTypeConstructorMarker, isK2: Boolean): Boolean = isK2
object SaveAnonymousTypes : PublicDeclaration(localTypes = false, anonymous = false)