Nikolay Lunyak 88ff93df7f [FIR] Check is for impossibility ...

^KT-58203 Fixed
^KT-62646

2024-03-08 15:37:44 +00:00

..

annotatedBranch.fir.txt

…

annotatedBranch.kt

…

exhaustiveness_boolean.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_boolean.kt

…

exhaustiveness_enum.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_enum.kt

[FIR] Check is for impossibility

2024-03-08 15:37:44 +00:00

exhaustiveness_enumJava.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_enumJava.kt

[FIR] Check is for impossibility

2024-03-08 15:37:44 +00:00

exhaustiveness_sealedClass.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_sealedClass.kt

[FIR] Check is for impossibility

2024-03-08 15:37:44 +00:00

exhaustiveness_sealedObject.fir.txt

…

exhaustiveness_sealedObject.kt

…

exhaustiveness_sealedSubClass.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_sealedSubClass.kt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_smartcastedBoolean.fir.txt

[FIR] Try to infer result type of incomplete when expression

2023-12-22 16:57:07 +00:00

exhaustiveness_smartcastedBoolean.kt

…

exhaustiveWhenAndDNNType.dot

[FIR] Rewind DFA after call arguments for correct receiver smartcasting

2023-12-08 14:32:22 +00:00

exhaustiveWhenAndDNNType.fir.txt

…

exhaustiveWhenAndDNNType.kt

…

exhaustiveWhenAndFlexibleType.fir.txt

…

exhaustiveWhenAndFlexibleType.kt

…

nestedIfInLambda.fir.txt

…

nestedIfInLambda.kt

…

nonExhaustiveWhenWithCoercionToUnit.fir.txt

…

nonExhaustiveWhenWithCoercionToUnit.kt

…

sameBranchMultipleConditions.fir.txt

…

sameBranchMultipleConditions.kt

…

smartcastToExhaustiveInterface.fir.txt

…

smartcastToExhaustiveInterface.kt

…