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

[FIR-TEST] Add test for KT-37478

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2020-03-13 15:05:33 +03:00
parent 37aa234bb7
commit caec5fe352
4 changed files with 150 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/resolve/testData/resolve/references/referenceToExtension.kt
Vendored
+47
View File
@@ -0,0 +1,47 @@
class GenericTest {
class A<T>
class B<T> {
val memberVal: A<T> = A()
fun memberFun(): A<T> = A()
}
val <T> B<T>.extensionVal: A<T>
get() = A()
fun <T> B<T>.extensionFun(): A<T> = A()
fun test_1() {
val memberValRef = B<*>::memberVal
val memberFunRef = B<*>::memberFun
}
fun test_2() {
val extensionValRef = <!UNRESOLVED_REFERENCE!>B<*>::extensionVal<!>
val extensionFunRef = <!UNRESOLVED_REFERENCE!>B<*>::extensionFun<!>
}
}
class NoGenericTest {
class A
class B {
val memberVal: A = A()
fun memberFun(): A = A()
}
val B.extensionVal: A
get() = A()
fun B.extensionFun(): A = A()
fun test_1() {
val extensionValRef = <!UNRESOLVED_REFERENCE!>B::extensionVal<!>
val extensionFunRef = <!UNRESOLVED_REFERENCE!>B::extensionFun<!>
}
fun test_2() {
val memberValRef = B::memberVal
val memberFunRef = B::memberFun
}
}
compiler/fir/resolve/testData/resolve/references/referenceToExtension.txt
Vendored
+93
View File
@@ -0,0 +1,93 @@
FILE: referenceToExtension.kt
public final class GenericTest : R|kotlin/Any| {
public constructor(): R|GenericTest| {
super<R|kotlin/Any|>()
}
public final class A<T> : R|kotlin/Any| {
public constructor<T>(): R|GenericTest.A<T>| {
super<R|kotlin/Any|>()
}
}
public final class B<T> : R|kotlin/Any| {
public constructor<T>(): R|GenericTest.B<T>| {
super<R|kotlin/Any|>()
}
public final val memberVal: R|GenericTest.A<T>| = R|/GenericTest.A.A|<R|T|>()
public get(): R|GenericTest.A<T>|
public final fun memberFun(): R|GenericTest.A<T>| {
^memberFun R|/GenericTest.A.A|<R|T|>()
}
}
public final val <T> R|GenericTest.B<T>|.extensionVal: R|GenericTest.A<T>|
public get(): R|GenericTest.A<T>| {
^ R|/GenericTest.A.A|<R|T|>()
}
public final fun <T> R|GenericTest.B<T>|.extensionFun(): R|GenericTest.A<T>| {
^extensionFun R|/GenericTest.A.A|<R|T|>()
}
public final fun test_1(): R|kotlin/Unit| {
lval memberValRef: R|kotlin/reflect/KProperty1<GenericTest.B<*>, GenericTest.A<kotlin/Any?>>| = Q|GenericTest.B|::R|FakeOverride</GenericTest.B.memberVal: R|GenericTest.A<kotlin/Any?>|>|
lval memberFunRef: R|kotlin/reflect/KFunction1<GenericTest.B<*>, GenericTest.A<kotlin/Any?>>| = Q|GenericTest.B|::R|FakeOverride</GenericTest.B.memberFun: R|GenericTest.A<kotlin/Any?>|>|
}
public final fun test_2(): R|kotlin/Unit| {
lval extensionValRef: <ERROR TYPE REF: No result type for initializer> = Q|GenericTest.B|::<Unresolved name: extensionVal>#
lval extensionFunRef: <ERROR TYPE REF: No result type for initializer> = Q|GenericTest.B|::<Unresolved name: extensionFun>#
}
}
public final class NoGenericTest : R|kotlin/Any| {
public constructor(): R|NoGenericTest| {
super<R|kotlin/Any|>()
}
public final class A : R|kotlin/Any| {
public constructor(): R|NoGenericTest.A| {
super<R|kotlin/Any|>()
}
}
public final class B : R|kotlin/Any| {
public constructor(): R|NoGenericTest.B| {
super<R|kotlin/Any|>()
}
public final val memberVal: R|NoGenericTest.A| = R|/NoGenericTest.A.A|()
public get(): R|NoGenericTest.A|
public final fun memberFun(): R|NoGenericTest.A| {
^memberFun R|/NoGenericTest.A.A|()
}
}
public final val R|NoGenericTest.B|.extensionVal: R|NoGenericTest.A|
public get(): R|NoGenericTest.A| {
^ R|/NoGenericTest.A.A|()
}
public final fun R|NoGenericTest.B|.extensionFun(): R|NoGenericTest.A| {
^extensionFun R|/NoGenericTest.A.A|()
}
public final fun test_1(): R|kotlin/Unit| {
lval extensionValRef: <ERROR TYPE REF: No result type for initializer> = Q|NoGenericTest.B|::<Unresolved name: extensionVal>#
lval extensionFunRef: <ERROR TYPE REF: No result type for initializer> = Q|NoGenericTest.B|::<Unresolved name: extensionFun>#
}
public final fun test_2(): R|kotlin/Unit| {
lval memberValRef: R|kotlin/reflect/KProperty1<NoGenericTest.B, NoGenericTest.A>| = Q|NoGenericTest.B|::R|/NoGenericTest.B.memberVal|
lval memberFunRef: R|kotlin/reflect/KFunction1<NoGenericTest.B, NoGenericTest.A>| = Q|NoGenericTest.B|::R|/NoGenericTest.B.memberFun|
}
}
compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsTestGenerated.java
Generated
+5
View File
@@ -1460,6 +1460,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/resolve/testData/resolve/references"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
}
@TestMetadata("referenceToExtension.kt")
public void testReferenceToExtension() throws Exception {
runTest("compiler/fir/resolve/testData/resolve/references/referenceToExtension.kt");
}
@TestMetadata("simple.kt")
public void testSimple() throws Exception {
runTest("compiler/fir/resolve/testData/resolve/references/simple.kt");
compiler/fir/resolve/tests/org/jetbrains/kotlin/fir/FirDiagnosticsWithLightTreeTestGenerated.java
Generated
+5
View File
@@ -1460,6 +1460,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
KotlinTestUtils.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("compiler/fir/resolve/testData/resolve/references"), Pattern.compile("^([^.]+)\\.kt$"), null, true);
}
@TestMetadata("referenceToExtension.kt")
public void testReferenceToExtension() throws Exception {
runTest("compiler/fir/resolve/testData/resolve/references/referenceToExtension.kt");
}
@TestMetadata("simple.kt")
public void testSimple() throws Exception {
runTest("compiler/fir/resolve/testData/resolve/references/simple.kt");