K2: handle non lookup-tag based types in private-to-this analysis

#KT-62134 Fixed
This commit is contained in:
Mikhail Glukhikh
2024-01-31 12:27:29 +01:00
committed by Space Team
parent 3c3396a87e
commit e1df52bc02
3 changed files with 44 additions and 20 deletions
@@ -19,7 +19,8 @@ class Foo<in T> : Base<<!TYPE_VARIANCE_CONFLICT_ERROR!>T<!>>() {
private val flex = foo()
fun bar(f: Foo<Bar>) {
val dnn = f.dnn
val dnn = f.<!INVISIBLE_REFERENCE!>dnn<!>
// This case (and any other with non-denotable type) requires KT-55446 to be fixed
val flex = f.flex
}
}
@@ -20,6 +20,7 @@ class Foo<in T> : Base<<!TYPE_VARIANCE_CONFLICT_ERROR!>T<!>>() {
fun bar(f: Foo<Bar>) {
val dnn = f.<!INVISIBLE_MEMBER!>dnn<!>
// This case (and any other with non-denotable type) requires KT-55446 to be fixed
val flex = f.<!INVISIBLE_MEMBER!>flex<!>
}
}