Denis.Zharkov 55a58e54fe K2: Rework scopes for types with projection arguments for Out types ...

The only case when behavior is change is described at
 computeNonTrivialTypeArgumentForScopeSubstitutor

The idea is to avoid depending on the presence of @UnsafeVariance
and instead approximate captured types in covariant argument positions
before building substitution scopes

It's correct because for Captured(*) <: Supertype,
Out<Captured(*)> <: Out<Supertype> and when we've got @UnsafeVariance
value parameters at Out, it's ok to allow passing Supertype there.

^KT-57602 Fixed
^KT-54894 Fixed

2023-03-29 10:45:40 +00:00

..

annotatedLocalClass.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

annotatedLocalClass.fir.txt

…

annotatedLocalClass.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

anonymousObjectInUnreachableCode.fir.txt

[FIR] Ignore CFA-only edges in DFA even if they are dead

2022-10-19 11:09:33 +00:00

anonymousObjectInUnreachableCode.kt

[FIR] Ignore CFA-only edges in DFA even if they are dead

2022-10-19 11:09:33 +00:00

binaryOperations.dot

Test: FIR CFA: sort edges by style & target node id

2023-01-10 15:40:46 +02:00

binaryOperations.fir.txt

…

binaryOperations.kt

…

booleanOperatorsWithConsts.dot

Test: FIR CFA: sort edges by style & target node id

2023-01-10 15:40:46 +02:00

booleanOperatorsWithConsts.fir.txt

…

booleanOperatorsWithConsts.kt

…

complex.dot

K2: Rework scopes for types with projection arguments for Out types

2023-03-29 10:45:40 +00:00

complex.fir.txt

K2: Rework scopes for types with projection arguments for Out types

2023-03-29 10:45:40 +00:00

complex.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

defaultArguments.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

defaultArguments.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

defaultArguments.kt

…

emptyWhen.dot

…

emptyWhen.fir.txt

…

emptyWhen.kt

…

flowFromInplaceLambda2.dot

K2: Avoid using Nothing? as inference result in the majority of cases

2023-02-15 08:13:50 +00:00

flowFromInplaceLambda2.fir.txt

K2: Avoid using Nothing? as inference result in the majority of cases

2023-02-15 08:13:50 +00:00

flowFromInplaceLambda2.kt

FIR DFA: fork flow everywhere

2022-11-22 15:44:32 +00:00

flowFromInplaceLambda3.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

flowFromInplaceLambda3.fir.txt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

flowFromInplaceLambda3.kt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

flowFromInplaceLambda.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

flowFromInplaceLambda.fir.txt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

flowFromInplaceLambda.kt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

flowFromTwoInplaceLambdas.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

flowFromTwoInplaceLambdas.fir.txt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

flowFromTwoInplaceLambdas.kt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

initBlock.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

initBlock.fir.txt

…

initBlock.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

initBlockAndInPlaceLambda.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

initBlockAndInPlaceLambda.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

initBlockAndInPlaceLambda.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

inlineLambdasAreInplace.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

inlineLambdasAreInplace.kt

FIR CFG: do not assume all arguments to inline funs are called in place

2022-12-08 10:19:32 +00:00

innerClassInAnonymousObject.dot

FIR DFA: route data flow through anonymous objects

2023-01-10 15:40:50 +02:00

innerClassInAnonymousObject.fir.txt

…

innerClassInAnonymousObject.kt

…

inplaceLambdaInControlFlowExpressions.dot

FIR CFA: add edges from maybe-throwing statements to catch/finally

2023-01-26 09:50:24 +00:00

inplaceLambdaInControlFlowExpressions.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

inplaceLambdaInControlFlowExpressions.kt

…

jumps.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

jumps.fir.txt

[FIR] Update testdata after introducing FirResolvedErrorReference

2022-12-15 12:12:19 +00:00

jumps.kt

…

lambdaAsReturnOfLambda.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

lambdaAsReturnOfLambda.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

lambdaAsReturnOfLambda.kt

…

lambdaInIfInTry.fir.txt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

lambdaInIfInTry.kt

[FIR] Add regression tests for number of issues fixed in K2

2023-02-14 17:08:55 +00:00

lambdaReturningObject.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

lambdaReturningObject.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

lambdaReturningObject.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

lambdas.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

lambdas.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

lambdas.kt

…

localClassesWithImplicit.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

localClassesWithImplicit.fir.txt

[FIR] Fix invalid CallableId for methods in anonymous objects

2021-06-28 17:21:42 +03:00

localClassesWithImplicit.kt

…

loops.dot

[FIR] Create separated FirBlock for loop local val

2023-03-21 20:24:57 +00:00

loops.fir.txt

[FIR] Create separated FirBlock for loop local val

2023-03-21 20:24:57 +00:00

loops.kt

…

postponedLambdaInConstructor.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

postponedLambdaInConstructor.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

postponedLambdaInConstructor.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

postponedLambdaInReturn.dot

FIR CFA: add edges from maybe-throwing statements to catch/finally

2023-01-26 09:50:24 +00:00

postponedLambdaInReturn.fir.txt

[FE] Preserve legacy contract description calls in bodies

2022-12-26 11:46:58 +00:00

postponedLambdaInReturn.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

postponedLambdas.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

postponedLambdas.fir.txt

FIR CFG: do not assume all arguments to inline funs are called in place

2022-12-08 10:19:32 +00:00

postponedLambdas.kt

[FIR] Add NOTHING_TO_INLINE diagnostic

2021-08-04 17:33:08 +03:00

propertiesAndInitBlocks.dot

FIR CFA: add edges according to constructor delegation

2023-01-26 13:12:11 +00:00

propertiesAndInitBlocks.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

propertiesAndInitBlocks.kt

…

returnValuesFromLambda.dot

Test: FIR CFA: fix the names of some nodes

2023-01-10 15:40:52 +02:00

returnValuesFromLambda.fir.txt

[FIR] Save inline status of lambda after resolution

2021-04-06 12:30:34 +03:00

returnValuesFromLambda.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

safeCalls.dot

Test: FIR CFA: index nodes in rendering order

2023-01-10 15:40:49 +02:00

safeCalls.fir.txt

FIR DFA: take all statements from ?. if result is non-null.

2022-12-08 10:19:28 +00:00

safeCalls.kt

[LL FIR] introduce test with reversed resolve order

2023-03-22 17:34:07 +00:00

simple.dot

FIR CFG: add union nodes

2022-12-08 10:19:29 +00:00

simple.fir.txt

…

simple.kt

…

tryCatch.dot

FIR CFA: add edges from maybe-throwing statements to catch/finally

2023-01-26 09:50:24 +00:00

tryCatch.fir.txt

…

tryCatch.kt

…

variableInitializedInTryBlock.dot

FIR CFA: add edges from maybe-throwing statements to catch/finally

2023-01-26 09:50:24 +00:00

variableInitializedInTryBlock.fir.txt

[FIR] Properly create edges from return expression to finally block

2021-08-26 10:08:52 +03:00

variableInitializedInTryBlock.kt

[FIR] Properly create edges from return expression to finally block

2021-08-26 10:08:52 +03:00

when.dot

Test: FIR CFA: sort edges by style & target node id

2023-01-10 15:40:46 +02:00

when.fir.txt

…

when.kt

FIR checker: warn useless as and is

2021-05-05 18:20:51 +03:00