azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
57,134 Commits 1 Branch 0 Tags
6c7a9046630fa040c70d1470f314da8250e222af
Commit Graph

191 Commits

Author SHA1 Message Date
Mads Ager 6c7a904663 Psi2Ir: Mark accessors with no bodies as default accessors. 
They are currently marked as defined even when they get a
default implementation. That makes it hard to figure out
if the accessor should be removed when introducing a backing
field in the JVM_IR backend.
 2019-08-28 19:25:13 +02:00
Alexander Udalov 312205f376 Prohibit synchronized methods on interface members 
#KT-9310 Fixed
 2019-08-22 18:04:00 +02:00
Mikhail Zarechenskiy 80fa591f10 Fix failing test because of slightly different diagnostics for LV=1.2 
There are no `DEBUG_INFO_MISSING_UNRESOLVED` diagnostics for this test
 if one runs it under LV=1.2. These diagnostics are not crucial
 for the test (especially for version 1.2), so use it only with
 the latest stable version

 Plus, reuse test-data to check behavior in new inference
 2019-08-21 18:41:13 +03:00
Mikhail Zarechenskiy 6eefea6715 Add tests for obsolete issues 
#KT-32395 Obsolete (fixed in 42a5c488)
 #KT-32388 Obsolete (fixed in f3e4c9cd)
 #KT-32271 Obsolete (fixed in 60a0cf1)
 2019-07-06 10:06:04 +03:00
Mikhail Zarechenskiy 42a5c488c1 [NI] Fix OnlyInputTypes annotation support for top-level captured types 
#KT-32157 Fixed
 #KT-32116 Fixed
 #KT-32235 Fixed
 #KT-32218 Fixed
 2019-07-01 12:59:35 +03:00
Mikhail Zarechenskiy a26cf86af7 [NI] Fix exception: callable reference is used with an unresolved LHS 
#KT-32187 Fixed
 2019-06-25 14:09:38 +03:00
Mikhail Zarechenskiy bebdf6fcef [NI] Added test for KT-32094 2019-06-21 11:52:44 +03:00
Mikhail Zarechenskiy 5cf7c7e5bf [NI] Fix composite substitution for stubbed type in builder-inference 
#KT-32038 Fixed
 2019-06-18 19:38:04 +03:00
Mikhail Zarechenskiy 4ddd9f081b [NI] Consider explicitly specified type argument as an input type 
#KT-31860 Fixed
 2019-06-07 12:31:42 +03:00
Dmitriy Novozhilov e574106799 [NI] Support @OnlyInputTypes annotation. #KT-29307 fixed 2019-05-29 10:54:41 +03:00
Dmitriy Novozhilov 139497bafb [NI] Add checking @NotNull parameters for candidates 2019-05-29 10:53:07 +03:00
Mikhail Zarechenskiy 8bef345f0f Duplicate test for NI and OI to avoid mismatch of diagnostics 
There is a problem with different order of diagnostics for NI and OI,
 so, in order to fix this test, it was duplicated
 2019-05-27 17:32:24 +03:00
Mikhail Zarechenskiy cc29ca02f8 [NI] Don't loose inference session during property resolve 
#KT-31620 Fixed
 2019-05-26 21:31:54 +03:00
Dmitriy Novozhilov 96a3831feb [NI] Add capturing receiver type for callable references 
#KT-30292 Fixed
 2019-05-16 10:50:30 +03:00
Mikhail Zarechenskiy 516fccbe7b [NI] Complete call if return type contains only "good" type variables 2019-05-08 12:19:52 +03:00
Mikhail Zarechenskiy 1fecd15355 [NI] Fix exception on capturing stub type from coroutine-inference 
#KT-30853 Fixed
 2019-05-06 18:05:02 +03:00
nikita.movshin 65244b4bea Update copyright. 
Change the copyright from "JetBrains s.r.o." to
"JetBrains s.r.o. and Kotlin Project contributors"
Update only 2 lines copyright.
 2019-04-23 20:09:22 +03:00
Mikhail Zarechenskiy bdab7a88f6 [NI] Add test for obsolete issue 
#KT-28658 Obsolete
 2019-04-12 15:22:39 +03:00
Mikhail Zarechenskiy a4cbec64b7 [NI] Remove failing codegen tests and add similar diagnostic one 
These tests were added for suspend-conversions, it worked only
 with new inference, but implementation was incorrect and had other
 bugs, which were fixed in 1ac25259.
 Support of suspend-conversions will be addressed later with a different
 implementation (#KT-30703)
 2019-04-01 01:36:15 +03:00
Mikhail Zarechenskiy 1ac25259e8 [NI] Support callable references to suspend functions 
#KT-30658 Fixed
 2019-03-29 12:32:01 +03:00
Mikhail Zarechenskiy 017f9aea35 [NI] Builder-inference: fix unresolved reference for variable calls 2019-03-29 12:32:01 +03:00
Mikhail Zarechenskiy b033b9180b [NI] Avoid builder-inference algorithm if types specified explicitly 
#KT-30620 Fixed
 2019-03-29 12:31:59 +03:00
Dmitriy Novozhilov 1ac3542036 [NI] Decrease priority of Integer Literal Types in type checking 
#KT-30446
 2019-03-29 11:55:30 +03:00
Dmitriy Novozhilov d01b6ef900 Revert "[NI] Support @OnlyInputTypes annotation. #KT-29307 fixed" 
This reverts commit 90628112
With that annotation there is complex bug that breaks build of Kotlin compiler
 2019-03-18 18:53:38 +03:00
victor.petukhov 9a2178d96b Split 'nothingTypedSuspendFunction' test into two separate tests (for old and new coroutines) 2019-03-16 21:39:44 +03:00
Dmitriy Novozhilov 9062811231 [NI] Support @OnlyInputTypes annotation. #KT-29307 fixed 
Also KT-26698 fixed in new inference
 2019-03-15 10:39:11 +03:00
Alexander Udalov f9be21c935 Report warning on @Synchronized on inline methods 
Until KT-27310 is supported, we warn users that this has no effect.

 #KT-29884 Fixed
 2019-03-11 18:32:44 +01:00
Dmitriy Novozhilov 77c98bef4d Fix recursion in contract declaration analysis. KT-26386 Fixed 
Issue fixed only in old inference
 2019-03-07 14:35:18 +03:00
Alexander Udalov d1e33534db Implement typeOf intrinsic on JVM 
#KT-29915 Fixed
 2019-03-05 18:16:31 +01:00
Dmitriy Novozhilov 4a7420d77d Allow declaring contracts on suspend functions. KT-27468 Fixed 2019-03-01 14:50:46 +03:00
Dmitriy Novozhilov b484e03fa8 Allow use contract function by FQN. #KT-29772 fixed 2019-03-01 14:50:46 +03:00
Dmitriy Novozhilov 4a298d1413 NI: introduce new data flow analysis for try/catch (#KT-28370) 2019-02-17 12:51:25 +03:00
Dmitriy Novozhilov 4e64b07727 Add some tests for inference and DFA of try/catch/finally 2019-02-17 12:46:11 +03:00
Ilya Chernikov 2c02ee3d29 Rename test files to scripts to trigger proper scripting initialization 
fix generation config accordingly
 2019-02-10 13:31:57 +01:00
Dmitriy Novozhilov 9129210cfe Move changes from dfb379d under new language feature (#KT-28672) 
Changes from that commit are breaking, and should be pass throw LC
 2019-02-07 12:12:34 +03:00
Dmitriy Novozhilov 932e0234e7 Add testdata for issue #KT-28672 2019-01-31 17:25:13 +03:00
Mikhail Zarechenskiy 147d7844bc [NI] Dont' add trivial constraints with Nothing from incorporation 
#KT-24490 Fixed
 #KT-26816 Fixed
 2019-01-30 13:48:33 +03:00
Dmitry Savvinov 04ff2a3ee7 Add test on isNullOrEmpty-like contract 
Currently, behavior is undesired, see KT-27241
 2019-01-17 12:47:27 +03:00
Dmitry Savvinov 594a6588f9 Add test on rewrite at slice FUNCTOR 2019-01-14 11:10:37 +03:00
Mikhael Bogdanov cf47bc0130 Update copyright in generated compiler tests 2019-01-02 12:37:06 +01:00
Mikhail Zarechenskiy e4a4d1169e Prohibit JvmOverloads on constructors of annotation classes 
In LV >= 1.4 & -progressive

 #KT-25702 Fixed
 2018-12-24 12:48:00 +03:00
Denis Zharkov a83f0e5fb7 Add diagnostic for calling ConcurrentHashMap::contains by convention 
^KT-18053 Fixed
 2018-12-12 15:37:50 +03:00
Dmitry Savvinov c9e87bf353 Add test on in-place lambda with return + safecall 
Currently, diagnostics behavior is undesired. The next commit fixes it

^KT-28061 In Progress
 2018-12-10 13:38:43 +03:00
Mikhail Zarechenskiy 761cf0812b Minor: add test for obsolete issue 
#KT-8050 Obsolete
 2018-11-20 19:36:50 +03:00
Mikhail Zarechenskiy bae3ff5211 Don't try parsing contract-like function not from kotlin package 
Returning `null` from `doCheckContract` functions means that we
have failed to parse contract function and should report an error, but
if the called function isn't true contract, we shouldn't evaluate that code
at all.

 #KT-27758 Fixed
 2018-10-24 12:03:04 +03:00
Ilmir Usmanov 9af7316845 Add call checker to report error more granulary if possible 
This, however, works only for calls of 'synchronized' only. Thus, it
does not support inline functions of any kind.
 2018-10-09 22:55:51 +03:00
Alexander Udalov 5713298108 Fix FQ name usage of experimental marker in UseExperimental 
#KT-26366 Fixed
 2018-09-26 18:36:01 +02:00
Mikhail Zarechenskiy 0d103e7f0c Allow using extensions with trivial-constraints in builder-inference 
#KT-27079 Fixed
 2018-09-26 11:52:23 +03:00
Mikhail Zarechenskiy 7c1d374ed5 Fix diagnostic tests about coroutine-inference 2018-09-26 11:51:55 +03:00
Alexander Udalov 3e90d367f2 Do not report experimental usage errors in import statements 
#KT-25545 Fixed
 2018-09-21 17:35:50 +03:00