azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
master
kotlin-fork/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts
T
History
Nikolay Lunyak 88ff93df7f [FIR] Check is for impossibility 
^KT-58203 Fixed
^KT-62646
2024-03-08 15:37:44 +00:00
..
multieffect
…
operatorsTests
[FIR] Move FirReturnsImpliesAnalyzer to the extended checkers
2023-07-10 09:28:54 +00:00
when
[FIR] Move FirReturnsImpliesAnalyzer to the extended checkers
2023-07-10 09:28:54 +00:00
callWithDefaultValue.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
callWithDefaultValue.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
callWithDefaultValue.txt
Do not lose information about contracts if call uses default value
2018-08-10 13:19:32 +03:00
catchExceptionSpilling.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
catchExceptionSpilling.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
catchExceptionSpilling.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
compositions.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
compositions.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
compositions.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
contractsOnMembers.fir.kt
[FIR] Link some tests with issues
2023-11-14 15:19:33 +00:00
contractsOnMembers.kt
[FIR] Link some tests with issues
2023-11-14 15:19:33 +00:00
contractsOnMembers.txt
[Test] Add test for KT-48115
2023-07-05 06:56:12 +00:00
contractWithDeepGenerics.fir.kt
…
contractWithDeepGenerics.kt
…
contractWithDeepGenerics.txt
Fix substitution of generic types in contracts
2021-04-16 17:23:24 +03:00
deeplyNested.fir.kt
[FIR] Check is for impossibility
2024-03-08 15:37:44 +00:00
deeplyNested.kt
[FIR] Link some tests with issues
2023-11-14 15:19:33 +00:00
deeplyNested.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
extensionReceiver_after.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
extensionReceiver_after.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
extensionReceiver_after.txt
Move changes from dfb379d under new language feature (#KT-28672)
2019-02-07 12:12:34 +03:00
extensionReceiver.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
extensionReceiver.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
extensionReceiver.txt
Add testdata for issue #KT-28672
2019-01-31 17:25:13 +03:00
externalArguments.fir.kt
Remove WITH_NEW_INFERENCE directive from all tests
2021-05-25 13:28:26 +03:00
externalArguments.kt
Remove OI/NI attributes from test data
2021-05-25 13:28:27 +03:00
externalArguments.txt
[NI] Fix smartcasts for conventional contains in when
2020-02-20 19:07:54 +03:00
functionInCompanion.kt
…
functionInCompanion.txt
…
intersectingInfo.fir.kt
[FIR] Check is for impossibility
2024-03-08 15:37:44 +00:00
intersectingInfo.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
intersectingInfo.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
intersectionTypes.fir.kt
…
intersectionTypes.kt
…
intersectionTypes.txt
…
nullabilitySmartcastWhenNullability.fir.kt
[FIR] Move FirReturnsImpliesAnalyzer to the extended checkers
2023-07-10 09:28:54 +00:00
nullabilitySmartcastWhenNullability.kt
…
nullabilitySmartcastWhenNullability.txt
…
partiallyIncorrect.fir.kt
…
partiallyIncorrect.kt
…
partiallyIncorrect.txt
…
receiver.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
receiver.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
receiver.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
reifiedGeneric.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
reifiedGeneric.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
reifiedGeneric.txt
Allow use reference to reified type parameters in contracts since 1.4
2019-12-26 17:43:28 +03:00
returnsImpliesAndSafeCalls.kt
[FIR] Pass implications from subject of safe call in DFA
2023-10-18 12:17:44 +00:00
safecallAndReturnsNull.kt
…
safecallAndReturnsNull.txt
…
smartcastOnReceiverInComplexCondition.fir.kt
[Test] Add regression tests for issues which are fixed in K2
2024-03-07 12:49:47 +00:00
smartcastOnReceiverInComplexCondition.kt
[Test] Add regression tests for issues which are fixed in K2
2024-03-07 12:49:47 +00:00
throwsEffect.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
throwsEffect.kt
…
throwsEffect.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
typeSmartcastWhenNullability.fir.kt
…
typeSmartcastWhenNullability.kt
…
typeSmartcastWhenNullability.txt
…
unreachableBranches.fir.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
unreachableBranches.kt
Rename !USE_EXPERIMENTAL test directive to !OPT_IN
2021-09-10 16:29:16 +03:00
unreachableBranches.txt
Effects: add diagnostic tests on contracts
2017-10-12 11:55:26 +03:00
valueOfContractedFunctionIngored.kt
…
valueOfContractedFunctionIngored.txt
Make 'is'-operator more stupid
2019-01-17 12:47:27 +03:00