azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
68,865 Commits 1 Branch 0 Tags
bf4bf30b4a85fb313a695b960014efc7bc3faef1
Commit Graph

9976 Commits

Author SHA1 Message Date
Dmitriy Novozhilov 564d382b9d Introduce new modules for common jvm related parts of compiler 2020-09-04 11:07:40 +03:00
Dmitriy Novozhilov a0b931792e Move annotationsForResolve.kt to :core:compiler.common 2020-09-01 12:00:11 +03:00
Dmitriy Novozhilov 07c353973d Move requireOrDescribe to :core:compiler.common 2020-09-01 12:00:11 +03:00
Pavel Kirpichenkov 873224dfbc [NI] Use new type substitutor for known type parameters 
Use known type parameters substitutor after substitutor for fresh variables.
The old logic of substituions had the following order:
- replace known type parameters
- replace type parameters with type variables
- complete inference
- replace type variables with inferred types

According to the updated logic, replacement goes as follows:
- replace type parameters with type variables
- replace known type parameters; if they were variables, this will effectively remove them from inference
- complete inference
- replace remaining type variables with inferred types

Support projection substitution in new type substitutor.
It is needed for correct interaction with old type substitutor.
Old type substitutors can contain mappings constructor -> projection
which couldn't be expressed correctly with existing substitutor API in some cases.

^KT-41386 Fixed
 2020-08-31 17:53:46 +03:00
Mikhail Zarechenskiy 23f87d413a Use initial system for completion if common one is effectively empty 
Otherwise we can get unsubstituted type variables as expected types and
 then write wrong information for assertions

 #KT-41470 Fixed
 2020-08-28 17:47:08 +03:00
Dmitriy Novozhilov 148e8fe76e Move FlatSignature to :compiler:resolution.common 2020-08-28 10:59:53 +03:00
Dmitriy Novozhilov af0df35623 [NI] Get rid of FE 1.0 types in ConstraintInjector 2020-08-28 10:59:52 +03:00
Dmitriy Novozhilov 64f0ee21c1 Get rid of FE 1.0 classes usage in ConstraintIncorporator 2020-08-28 10:59:52 +03:00
Dmitriy Novozhilov b15f847943 [NI] Extract common parts from KotlinConstraintSystemCompleter 2020-08-28 10:59:51 +03:00
Dmitriy Novozhilov 12fbb93871 [NI] Extract FE 1.0 specific part from NewCommonSuperTypeCalculator 2020-08-28 10:59:51 +03:00
Dmitriy Novozhilov 686c17a234 [NI] Rename NewConstraintSystem.diagnostics to errors 2020-08-28 10:59:50 +03:00
Dmitriy Novozhilov 59b2cb6393 [NI] Split KotlinCallDiagnostics and inference errors to different hierarchies 2020-08-28 10:59:50 +03:00
Dmitriy Novozhilov fae21d4db3 Introduce frontend independent constraint positions 2020-08-28 10:59:50 +03:00
Dmitriy Novozhilov f247cc3165 [NI] Properly detecting suitability of candidate for builder inference 
#KT-41430 Fixed
 2020-08-28 10:34:18 +03:00
Alexander Udalov 74c6d2b951 Do not generate non-standard compareTo as primitive comparison in all backends 
Previous changes related to this in the old JVM backend were in
582b1c5e66 and
0482f7e9c5, but they did not affect the
`ProperIeee754Comparisons` mode which became the default in 1.4.0. As a
result, we had a regression here.

Since the `PRIMITIVE_NUMERIC_COMPARISON_INFO` slice is used in psi2ir to
determine how to generate the comparison, this fixes the regression both
in the old JVM backend, and in all IR backends.

 #KT-41426 Fixed
 2020-08-27 19:00:11 +02:00
Dmitry Savvinov 5649cbc2e1 Wire KotlinTypeRefiner in areCallableDescriptorsEquivalent 
See the issue for details

^KT-41218 Fixed
 2020-08-27 18:50:42 +03:00
Dmitriy Novozhilov 9cde42e2bc [NI] Fix shouldRunCompletion for builder inference session 
#KT-41308 Fixed
#KT-41363
 2020-08-27 16:51:12 +03:00
Dmitriy Novozhilov e98cbf81cf [NI] Don't always complete builder inference lambda in FULL mode 
#KT-41164 Fixed
 2020-08-27 16:51:11 +03:00
Alexander Udalov a9ddf02556 Replace deprecated usages of max/min with maxOrNull/minOrNull 2020-08-25 20:33:59 +02:00
Arsen Nagdalian 8b4e8a2c0c Diagnostics: add diagnostic for reporting contract description blocks in old frontend 2020-08-25 12:58:39 +03:00
Dmitriy Novozhilov a764732020 Rename KotlinBuiltInsNames to StandardNames 2020-08-25 10:41:33 +03:00
Dmitriy Novozhilov d6d2be8e58 Move incremental components to :core:descriptors.common module 2020-08-25 10:41:31 +03:00
Dmitriy Novozhilov 3a48265077 Move ModuleDescriptor.Capability to :core:descriptors.common module 2020-08-25 10:31:37 +03:00
Dmitriy Novozhilov 7a7fe77b8e Move static constants with builtin names to :core:descriptors.common module 2020-08-25 10:31:36 +03:00
Dmitriy Novozhilov 9d9f9c52c0 Extract some classes from descriptors module to :core:common 
This is needed to remove dependencies from fir modules to
  `:core:descriptors` module

What was extracted:
- Modality
- ClassKind
- org.jetbrains.kotlin.name package
 2020-08-25 10:31:35 +03:00
Alexander Udalov 0ef4b22cf3 Remove deprecated usages of ContainerUtil 2020-08-20 20:30:34 +02:00
Mikhail Zarechenskiy 6ed13ef1b6 Fix unresolved reference to catch parameter from lambda expression 
#KT-41140 Fixed
 2020-08-19 12:52:16 +03:00
Alexander Udalov a21f273570 Fix compiler warnings in compiler code 2020-08-17 21:18:20 +02:00
Roman Artemev fa2c49a311 [Plugin API] Add extension point to contribute synthetic properties 
- needs to fix KT_41006
 2020-08-14 11:59:37 +03:00
Denis Zharkov 5ede37d6ab Report warnings on safe call + nullable extension operator 
^KT-41034 In Progress
 2020-08-14 11:12:34 +03:00
Mikhail Zarechenskiy e49cdf0ca2 Prohibit using suspend functions as SAM in fun interfaces 
#KT-40978 Fixed
 2020-08-10 22:04:16 +03:00
Pavel Kirpichenkov f431da2a66 Reapply "Introduce @FrontendInternals annotation"" 
This reverts commit 9ca4717d11.
^KT-39643 Fixed
 2020-08-10 12:22:55 +03:00
Mikhail Zarechenskiy 0c13a7f89a Fix accessibility check for experimental declarations from default scope 
#KT-40919 Fixed
 2020-08-07 17:49:15 +03:00
Ilmir Usmanov b403b63f48 Ease field initialization check 
Since there is already VAL_REASSIGNMENT diagnostics, we can safely only
for direct assignments.
 #KT-40893 Fixed
 2020-08-07 14:22:18 +02:00
Pavel Kirpichenkov 9ca4717d11 Revert "Introduce @FrontendInternals annotation" 
Revert due to Mobile IDE Trunk IJ TC configuration
This reverts commits:
ffc3d8bdfc
c0e713980b

^KT-39643 In Progress
 2020-08-07 12:10:03 +03:00
Pavel Kirpichenkov ffc3d8bdfc Introduce @FrontendInternals annotation 
#KT-39643
 2020-08-05 21:44:47 +03:00
Ilmir Usmanov 2c205410fa Check whether the field is indeed being initialized 
in checkFieldInExactlyOnceLambdaInitialization
 #KT-40691 Fixed
 2020-07-30 19:04:54 +02:00
Roman Artemev 0559e192ee [JS IR] Support external delegation in case of JS in psi2ir 
- fix FE delegation resolver
 - fix critical KT-40650
 2020-07-29 19:57:05 +03:00
Dmitriy Dolovov b47946cbba Report interop functions with non-stable parameter names 
^KT-34602
 2020-07-27 23:11:36 +07:00
Victor Petukhov cca64b8fab NI: use the inferred type to check of nullable array for vararg 
^KT-40555 Fixed
 2020-07-27 18:24:31 +03:00
Andrei Klunnyi 4afa50e081 EA-235759 // NPE fix 
https://ea.jetbrains.com/browser/ea_problems/235759
 2020-07-27 15:35:58 +02:00
Mikhail Bogdanov 125c72cb8d New default checks for mixed hierarchies 
Old and new schemes
 2020-07-24 12:10:04 +02:00
Matthew Gharrity 221d49a995 Set wantsDiagnostics() in AbstractFilteringTrace 
report() already delegates to the parentTrace, so
wantsDiagnostics() should delegate to it as well.
 2020-07-20 21:12:25 +03:00
Mikhail Zarechenskiy a15d3c76b6 Fix references to sam adapted functions, also fix lookup location 
#KT-31025 Fixed
 2020-07-20 14:30:40 +03:00
Mikhail Zarechenskiy 0c79de1a98 Prohibit adapted reference resolve against reflective types 
There are design questions about reflection for adapted references,
 so the current proposal is to prohibit reflection on them and support
 it properly later

 #KT-40406 Fixed
 2020-07-20 14:30:39 +03:00
Mikhail Zarechenskiy 10bd3a11b8 Improve message about compatibility warning a bit 
Relates to #KT-40111
 2020-07-17 14:27:20 +03:00
Mikhail Zarechenskiy fcf7a55ccc Fix delegated property resolve on number literals and proper types 
There is no need to update type of delegate expression if it's already
 resolved correctly (doesn't include non-proper types). In almost all
 cases it was fine except number literals as there we didn't box
 expression in backend and got problems at bytecode verification stage

 #KT-40057 Fixed
 2020-07-17 14:27:20 +03:00
Victor Petukhov e754585e38 NI: add fallback strategy to get lexical scope to checking coroutine call legality 
^KT-40247 Fixed
^KT-40337 Fixed
 2020-07-16 15:33:27 +03:00
Roman Golyshev fb9b3f96de KT-40301 Add more diagnostics for 'Module is not contained in resolver' 
- See [EA-214260](https://ea.jetbrains.com/browser/ea_problems/214260)
 2020-07-16 10:14:22 +00:00
Mikhail Zarechenskiy 100a6f70ca Relax rules about inferring to Nothing for special calls 
#KT-37388 Fixed
 #KT-38427 Fixed
 #KT-39953 Fixed
 #KT-38899 Fixed
 2020-07-16 09:56:46 +03:00