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

K2: add test to ensure #KT-55981 Obsolete

Browse Source
This commit is contained in:
Mikhail Glukhikh
2023-08-21 16:15:35 +02:00
committed by Space Team
parent 27afee8683
commit 8cbefcc26f
6 changed files with 51 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/malformedRawTypes.fir.txt
Vendored
+8
View File
@@ -0,0 +1,8 @@
FILE: Main.kt
public final fun main(): R|kotlin/Unit| {
lvar generic: R|ft<Raw type Generic<kotlin/Any!>, Generic<*>?>| = Q|Generic|.R|/Generic.raw*s|
lvar inner1: R|ft<Raw type Generic.Inner<kotlin/Any!>, Generic.Inner<*>?>| = R|<local>/generic|.R|SubstitutionOverride</Generic.inner>|
R|<local>/inner1| = R|/Generic.Generic|<R|kotlin/String|>().R|SubstitutionOverride</Generic.Inner.Inner>|()
lvar inner2: R|ft<Raw type Generic.Inner<kotlin/Any!>, Generic.Inner<*>?>| = R|<local>/generic|.R|SubstitutionOverride</Generic.rawInner>|
R|<local>/inner2| = R|/Generic.Generic|<R|kotlin/String|>().R|SubstitutionOverride</Generic.Inner.Inner>|()
}
compiler/fir/analysis-tests/testData/resolveWithStdlib/problems/malformedRawTypes.kt
Vendored
+19
View File
@@ -0,0 +1,19 @@
// FILE: Generic.java
public class Generic<T> {
public class Inner {}
public static Generic raw = new Generic<>();
public Inner inner = new Inner();
public Generic.Inner rawInner = new Inner();
}
// FILE: Main.kt
fun main() {
var generic = Generic.raw
var inner1 = generic.inner
inner1 = Generic<String>().Inner()
var inner2 = generic.rawInner
inner2 = Generic<String>().Inner()
}