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

[Tests] Add a test with type parameter as a context receiver

Browse Source
This commit is contained in:
Anastasiya Shadrina
2021-11-18 16:57:20 +07:00
committed by TeamCityServer
parent 752bc299f1
commit a70036c945
13 changed files with 118 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/DiagnosisCompilerTestFE10TestdataTestGenerated.java
Generated
+6
View File
@@ -10726,6 +10726,12 @@ public class DiagnosisCompilerTestFE10TestdataTestGenerated extends AbstractDiag
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/thisWithReceiverLabelsProperties.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("typeParameterized.kt")
public void testTypeParameterized() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsTestGenerated.java
Generated
+6
View File
@@ -10726,6 +10726,12 @@ public class FirOldFrontendDiagnosticsTestGenerated extends AbstractFirDiagnosti
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/thisWithReceiverLabelsProperties.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("typeParameterized.kt")
public void testTypeParameterized() throws Exception {
compiler/fir/analysis-tests/tests-gen/org/jetbrains/kotlin/test/runners/FirOldFrontendDiagnosticsWithLightTreeTestGenerated.java
Generated
+6
View File
@@ -10726,6 +10726,12 @@ public class FirOldFrontendDiagnosticsWithLightTreeTestGenerated extends Abstrac
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/thisWithReceiverLabelsProperties.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("typeParameterized.kt")
public void testTypeParameterized() throws Exception {
compiler/fir/fir2ir/tests-gen/org/jetbrains/kotlin/test/runners/ir/Fir2IrTextTestGenerated.java
Generated
+6
View File
@@ -865,6 +865,12 @@ public class Fir2IrTextTestGenerated extends AbstractFir2IrTextTest {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/thisWithCustomLabel.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("unaryOperators.kt")
public void testUnaryOperators() throws Exception {
compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.fir.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// !LANGUAGE: +ContextReceivers
// IGNORE_BACKEND_FIR: JVM_IR
context(T)
fun <T> useContext(block: (T) -> Unit) { }
fun test() {
with(42) {
useContext { i: Int -> i.toDouble() }
}
}
compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.kt
Vendored
+12
View File
@@ -0,0 +1,12 @@
// !LANGUAGE: +ContextReceivers
// IGNORE_BACKEND_FIR: JVM_IR
context(T)
fun <T> useContext(block: (T) -> Unit) { }
fun test() {
with(42) {
useContext { i: Int -> i.toDouble() }
}
}
compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.txt
Vendored
+4
View File
@@ -0,0 +1,4 @@
package
public fun test(): kotlin.Unit
public fun </*0*/ T> useContext(/*0*/ block: (T) -> kotlin.Unit): kotlin.Unit
compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.ir.txt
Vendored
+27
View File
@@ -0,0 +1,27 @@
FILE fqName:<root> fileName:/typeParameterAsContextReceiver.kt
FUN name:useContext visibility:public modality:FINAL <T> (<this>:T of <root>.useContext, block:kotlin.Function1<T of <root>.useContext, kotlin.Unit>) returnType:kotlin.Unit
TYPE_PARAMETER name:T index:0 variance: superTypes:[kotlin.Any?]
contextReceiverParametersCount: 1
VALUE_PARAMETER name:<this> index:0 type:T of <root>.useContext
VALUE_PARAMETER name:block index:1 type:kotlin.Function1<T of <root>.useContext, kotlin.Unit>
BLOCK_BODY
FUN name:test visibility:public modality:FINAL <> () returnType:kotlin.Unit
BLOCK_BODY
CALL 'public final fun with <T, R> (receiver: T of kotlin.StandardKt.with, block: @[ExtensionFunctionType] kotlin.Function1<T of kotlin.StandardKt.with, R of kotlin.StandardKt.with>): R of kotlin.StandardKt.with [inline] declared in kotlin.StandardKt' type=kotlin.Unit origin=null
<T>: kotlin.Int
<R>: kotlin.Unit
receiver: CONST Int type=kotlin.Int value=42
block: FUN_EXPR type=@[ExtensionFunctionType] kotlin.Function1<kotlin.Int, kotlin.Unit> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> ($receiver:kotlin.Int) returnType:kotlin.Unit
$receiver: VALUE_PARAMETER name:$this$with type:kotlin.Int
BLOCK_BODY
CALL 'public final fun useContext <T> (<this>: T of <root>.useContext, block: kotlin.Function1<T of <root>.useContext, kotlin.Unit>): kotlin.Unit declared in <root>' type=kotlin.Unit origin=null
<T>: kotlin.Int
<this>: GET_VAR '$this$with: kotlin.Int declared in <root>.test.<anonymous>' type=kotlin.Int origin=null
block: FUN_EXPR type=kotlin.Function1<kotlin.Int, kotlin.Unit> origin=LAMBDA
FUN LOCAL_FUNCTION_FOR_LAMBDA name:<anonymous> visibility:local modality:FINAL <> (i:kotlin.Int) returnType:kotlin.Unit
VALUE_PARAMETER name:i index:0 type:kotlin.Int
BLOCK_BODY
TYPE_OP type=kotlin.Unit origin=IMPLICIT_COERCION_TO_UNIT typeOperand=kotlin.Unit
CALL 'public open fun toDouble (): kotlin.Double declared in kotlin.Int' type=kotlin.Double origin=null
$this: GET_VAR 'i: kotlin.Int declared in <root>.test.<anonymous>.<anonymous>' type=kotlin.Int origin=null
compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.kt
Vendored
+11
View File
@@ -0,0 +1,11 @@
// !LANGUAGE: +ContextReceivers
// IGNORE_BACKEND_FIR: JVM_IR
context(T)
fun <T> useContext(block: (T) -> Unit) { }
fun test() {
with(42) {
useContext { i: Int -> i.toDouble() }
}
}
compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.kt.txt
Vendored
+12
View File
@@ -0,0 +1,12 @@
fun <T : Any?> useContext(<this>: T, block: Function1<T, Unit>) {
}
fun test() {
with<Int, Unit>(receiver = 42, block = local fun Int.<anonymous>() {
useContext<Int>(<this> = $this$with, block = local fun <anonymous>(i: Int) {
i.toDouble() /*~> Unit */
}
)
}
)
}
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/DiagnosticTestGenerated.java
Generated
+6
View File
@@ -10732,6 +10732,12 @@ public class DiagnosticTestGenerated extends AbstractDiagnosticTest {
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/thisWithReceiverLabelsProperties.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/diagnostics/tests/extensions/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("typeParameterized.kt")
public void testTypeParameterized() throws Exception {
compiler/tests-common-new/tests-gen/org/jetbrains/kotlin/test/runners/ir/IrTextTestGenerated.java
Generated
+6
View File
@@ -865,6 +865,12 @@ public class IrTextTestGenerated extends AbstractIrTextTest {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/thisWithCustomLabel.kt");
}
@Test
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.kt");
}
@Test
@TestMetadata("unaryOperators.kt")
public void testUnaryOperators() throws Exception {
compiler/tests-gen/org/jetbrains/kotlin/ir/KlibTextTestCaseGenerated.java
Generated
+5
View File
@@ -663,6 +663,11 @@ public class KlibTextTestCaseGenerated extends AbstractKlibTextTestCase {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/thisWithCustomLabel.kt");
}
@TestMetadata("typeParameterAsContextReceiver.kt")
public void testTypeParameterAsContextReceiver() throws Exception {
runTest("compiler/testData/ir/irText/declarations/contextReceivers/typeParameterAsContextReceiver.kt");
}
@TestMetadata("compiler/testData/ir/irText/declarations/contextReceivers/fromKEEP")
@TestDataPath("$PROJECT_ROOT")
@RunWith(JUnit3RunnerWithInners.class)