azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
60,907 Commits 1 Branch 0 Tags
06550a6d3176e19d08945e011539904e2c8cb18f
Commit Graph

159 Commits

Author SHA1 Message Date
Pavel Kirpichenkov 06550a6d31 [NI] Actualize spec tests, affected by KT-35668 
Update test data, remove obsolete 'UNEXPECTED BEHAVIOUR'
 2020-01-23 19:12:02 +03:00
Alexander Udalov 3ca0f8a569 Fix incorrect message for new nullability assertion exception in 1.4 
#KT-36026 Fixed
 2020-01-22 14:41:20 +01:00
Dmitriy Novozhilov 76b3964e96 Update testdata according to change compiler version to 1.4 2020-01-17 10:33:50 +03:00
Pavel Kirpichenkov 4d11fac365 [NI] Add restored smart casts to spec tests 
KT-35668 Fixed
 2020-01-15 14:39:40 +03:00
Denis Zharkov d6b01f1007 NI: In subtyping do not intersect arguments for non-covariant types 
It partially reverts 7898922066
because it's not obvious that it's a safe operation
for invariant/contravariant types.

Also, there's a necessary fix in prepareReceiverRegardingCaptureTypes
to make types order stable
Otherwise test bareTypesWithStarProjections becomes flaky.

Also, the changes in bareTypesWithStarProjections.kt are also expected
because the type of the expression `coneSymbol` after the second "if" is
FirVariableSymbol<*> & FirPropertySymbol & AbstractFirBasedSymbol<*>
thus we fix D in the call `coneSymbol.phasedFir()` to FirVariableSymbol<*>
because it's the first type in the list
(see the next line after the last changed in AbstractTypeChecker)
 2020-01-14 17:35:24 +03:00
anastasiia.spaseeva 3253907317 [Spec tests] Hotfix for not-null-assertion-expression test 2020-01-10 13:12:01 +03:00
anastasiia.spaseeva 94c008872e [Spec tests] Fix tests 2020-01-09 17:16:13 +03:00
anastasiia.spaseeva 7dc469b32d [Spec tests] Minor changes of TestInfoParser and Generated files 2020-01-09 17:16:13 +03:00
anastasiia.spaseeva e0743f2268 [Spec tests] Add fixed tests for expressions section, fix linkage for reference-equality-expressions section 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 9e3ecbd902 [Spec tests] Add codegen tests for indexing-expression (paragraph 3) 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 0a1b8a928c [Spec tests] Add tests for not-null-assertion-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva e4d12593be [Spec tests] Add tests for postfix-expressions, postfix-decrement-expression && postfix-increment 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 7980db8613 [Spec tests] Add tests for prefix-expressions, logical-not--expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva e5a9a58d65 [Spec tests] Add tests for prefix-expressions, unary-minus-expression and unary-minus-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva a8af3dc3c9 [Spec tests] Add tests for prefix-decrement-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 01a4562076 [Spec tests] Add tests for additive-expression and Multiplicative expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 72358aa52a [Spec tests] Add tests for range-expression 2020-01-09 17:16:12 +03:00
anastasiia.spaseeva 84cf4c5049 [Spec tests] Add tests for elvis-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 479fa0e7b8 [Spec tests] Add tests for containment-checking-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 4a94ffa5dd [Spec tests] Add tests for type-checking-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 2a1e084f03 [Spec tests] Add tests for comparison-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 5e42a20575 [Spec tests] Add tests for value-equality-expressions (paragraph 2-3) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 3bb5ddb224 [Spec tests] Add tests for reference-equality-expressions (paragraph 3) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 15b561195f [Spec tests] Add tests for logical-conjunction-expression 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva 6da8ccb9eb [Spec tests] Add tests for logical-disjunction-expression (paragraph 2) 2020-01-09 17:16:11 +03:00
anastasiia.spaseeva d4a83d535c [Spec tests] Add tests for KT_35565 (local-property-declaration) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 31df799103 [Spec tests] Add codegen tests for logical-disjunction-expression (paragraph 1) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 1ea5eb6850 [Spec tests] Add test for return expression 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva dcfcc9c7b6 [Spec tests] Add tests for when-expression (p-3, 4) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva bd979a12de [Spec tests] Review fix tests for try-expression and if-expression 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva e865327386 [Spec tests] Add tests for try-expression (paragraphs 1, 2, 5-9) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 3aa3f0c50c [Spec tests] Add tests for character-literals 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 8187405dbd [Spec tests] fix test parser exceptions handler 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva fdef51e8b7 [Spec tests] Add tests for boolean-literals (p-1 sentence 2) 2020-01-09 17:16:10 +03:00
anastasiia.spaseeva 744cc54dff [Spec tests] Add tests for if-expression 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva a41c4c84a6 [Spec-tests] Add tests for prefix increment expression 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva f95a03cba3 [Spec-tests] Add tests for abstract classes 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 6c644448c2 [Spec tests] Add tests for abstract classes 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 20ed66cd82 [Spec tests] Add remove link to the issue KT-27825 from all tests which are not related to the issue 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 6accbf6284 [Spec tests] Add prefix increment expression codegen tests 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 86d072e3aa [Spec tests] Add diag tests for abstract classes and prefix increment 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva 44d0a99875 [Spec tests] Add spec tests for kotlin.Nothing, kotlin.Unit, reference equality and cast expressions 2020-01-09 17:16:09 +03:00
anastasiia.spaseeva bf50edee17 [Spec tests] Add tests for kotlin.Nothing and kotlin.Unit built-in types 2020-01-09 17:16:08 +03:00
Pavel Kirpichenkov 2d21b82501 [NI] Remove hack for special functions 
Treating special functions for `if`, `when`, `try`, `?:` as not accepting `Nothing` result type is incorrect.
Making so leads to cases with uninferred `Nothing` result type for inner calls and lost data flow info.
 2019-12-27 18:40:42 +03:00
Dmitriy Novozhilov d210df9ea3 Update spec testdata according to previous commits 2019-12-26 17:43:28 +03:00
Victor Petukhov d3f63166f3 [JPS] Include Kotlin reflection for tests-spec though explicit specifying in gradle dependencies 2019-12-26 14:27:44 +03:00
Denis Zharkov 0b385cc532 NI: Approximate captured-for-star-projections to * 
^KT-35602 Fixed
 2019-12-26 12:35:32 +03:00
Pavel Kirpichenkov 77e4212774 [minor] unmute fixed spec tests 2019-12-25 14:59:06 +03:00
Pavel Kirpichenkov 7ee71450bc [NI] Discriminate Nothing? result type from nullability constraints 
Nullability constraints should not be chosen when proper
argument constraints for variables in contravariant position present.

^KT-32106 Fixed
^KT-33166 Fixed
 2019-12-25 14:59:06 +03:00
Mikhail Zarechenskiy ae1630f376 [NI] Don't discriminate Nothing-type from resulting ones 
^KT-32106 Fixed
 2019-12-25 14:59:04 +03:00