azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FE] Add todos

Browse Source 
#KT-65228
This commit is contained in:
Kirill Rakhman
2024-01-23 16:17:11 +01:00
committed by Space Team
parent 45f5672b50
commit 2f4860886a
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/resolution.common/src/org/jetbrains/kotlin/types/AbstractTypeApproximator.kt
+2
View File
@@ -329,6 +329,7 @@ abstract class AbstractTypeApproximator(
* And we cannot create new capture type, because meaning of new captured type is not clear. * And we cannot create new capture type, because meaning of new captured type is not clear.
* So, we will just approximate such types * So, we will just approximate such types
* *
* TODO remove workaround when we can create captured types with external identity KT-65228.
* todo handle flexible types * todo handle flexible types
*/ */
if (approximatedSuperType == null && approximatedSubType == null) { if (approximatedSuperType == null && approximatedSubType == null) {
@@ -481,6 +482,7 @@ abstract class AbstractTypeApproximator(
// In approximateCapturedType, we check if the super/subtypes of captured types need approximation even if captured types // In approximateCapturedType, we check if the super/subtypes of captured types need approximation even if captured types
// themselves don't need approximation, and will land here. // themselves don't need approximation, and will land here.
// To support this case, we also don't want to approximate captured types here if the configuration says so. // To support this case, we also don't want to approximate captured types here if the configuration says so.
// TODO rework captured types approximation KT-65228
if (capturedType != null && if (capturedType != null &&
isK2 && isK2 &&
!conf.capturedType(ctx, capturedType) && !conf.capturedType(ctx, capturedType) &&