Skip to content

Commit 280dd18

Browse files
dzharkovSpace Team
dzharkov
authored and
Space Team
committed
FE: Add tests for KT-81115
1 parent 25ff2c5 commit 280dd18

11 files changed

+172
-0
lines changed

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLDiagnosticsFe10TestGenerated.java‎

Lines changed: 6 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLDiagnosticsFirTestGenerated.java‎

Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLPartialDiagnosticsFe10TestGenerated.java‎

Lines changed: 6 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLPartialDiagnosticsFirTestGenerated.java‎

Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLReversedDiagnosticsFe10TestGenerated.java‎

Lines changed: 6 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎analysis/low-level-api-fir/tests-gen/org/jetbrains/kotlin/analysis/low/level/api/fir/diagnostic/compiler/based/LLReversedDiagnosticsFirTestGenerated.java‎

Lines changed: 18 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎compiler/fir/analysis-tests/testData/resolve/inference/lambdasWithExplicitParametersViaReceiversFeatureDisabled.kt‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// RUN_PIPELINE_TILL: FRONTEND
2+
// LANGUAGE: -ResolveTopLevelLambdasAsSyntheticCallArgument
3+
// ISSUE: KT-81115
4+
5+
val l1: String.() -> String = fun(x: String) = ""
6+
val l2: String.() -> String = { x: String -> "" }
7+
8+
val l3: String.() -> String = fun(x) = x
9+
val l4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>x<!> -> x }<!>
10+
11+
val l5: String.(Int) -> String = fun(x: String, y) = ""
12+
val l6: String.(Int) -> String = { x: String, y -> "" }
13+
14+
val w1: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, y) = ""<!>
15+
val w2: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, y -> "" }<!>
16+
17+
val w3: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!>) = ""<!>
18+
val w4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
19+
20+
/* GENERATED_FIR_TAGS: anonymousFunction, functionalType, lambdaLiteral, propertyDeclaration, stringLiteral,
21+
typeWithContext, typeWithExtension */

‎compiler/fir/analysis-tests/testData/resolve/inference/lambdasWithExplicitParametersViaReceiversFeatureEnabled.kt‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
// RUN_PIPELINE_TILL: FRONTEND
2+
// LANGUAGE: +ResolveTopLevelLambdasAsSyntheticCallArgument
3+
// ISSUE: KT-81115
4+
5+
val l1: String.() -> String = fun(x: String) = ""
6+
val l2: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String -> "" }<!>
7+
8+
val l3: String.() -> String = fun(x) = x
9+
val l4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>x<!> -> x }<!>
10+
11+
val l5: String.(Int) -> String = fun(x: String, y) = ""
12+
val l6: String.(Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
13+
14+
val w1: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, y) = ""<!>
15+
val w2: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, y -> "" }<!>
16+
17+
val w3: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!>) = ""<!>
18+
val w4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
19+
20+
/* GENERATED_FIR_TAGS: anonymousFunction, functionalType, lambdaLiteral, propertyDeclaration, stringLiteral,
21+
typeWithContext, typeWithExtension */

‎compiler/fir/analysis-tests/testData/resolve/inference/lambdasWithExplicitParametersWithContexts.kt‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
// RUN_PIPELINE_TILL: FRONTEND
2+
// LANGUAGE: +ContextParameters
3+
// ISSUE: KT-81115
4+
5+
val l1: context(String) (Int) -> String = fun(x: String, y) = ""
6+
val l2: context(String) (Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
7+
8+
val l3: context(String) Double.(Int) -> String = fun(x: String, y, z: Int) = ""
9+
val l4: context(String) Double.(Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!>, z: Int -> "" }<!>
10+
11+
val w1: context(String) Double.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, y, z: Int) = ""<!>
12+
val w2: context(String) Double.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, y, z: Int -> "" }<!>
13+
14+
val w3: context(String) Double.() -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, y, z: Int) = ""<!>
15+
val w4: context(String) Double.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!>, z: Int -> "" }<!>
16+
17+
/* GENERATED_FIR_TAGS: anonymousFunction, functionalType, lambdaLiteral, propertyDeclaration, stringLiteral,
18+
typeWithContext, typeWithExtension */

‎compiler/testData/diagnostics/tests/inference/lambdasWithExplicitParametersViaReceivers.fir.kt‎

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
// RUN_PIPELINE_TILL: FRONTEND
2+
// ISSUE: KT-81115
3+
4+
val l1: String.() -> String = fun(x: String) = ""
5+
val l2: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String -> "" }<!>
6+
7+
val l3: String.() -> String = fun(x) = x
8+
val l4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>x<!> -> x }<!>
9+
10+
val l5: String.(Int) -> String = fun(x: String, y) = ""
11+
val l6: String.(Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
12+
13+
val w1: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, y) = ""<!>
14+
val w2: String.(Int, Int) -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, y -> "" }<!>
15+
16+
val w3: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>fun(x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!>) = ""<!>
17+
val w4: String.() -> String = <!INITIALIZER_TYPE_MISMATCH!>{ x: String, <!CANNOT_INFER_VALUE_PARAMETER_TYPE!>y<!> -> "" }<!>
18+
19+
/* GENERATED_FIR_TAGS: anonymousFunction, functionalType, lambdaLiteral, propertyDeclaration, stringLiteral,
20+
typeWithContext, typeWithExtension */

0 commit comments

Comments
 (0)