Commit Graph

96413 Commits

Author SHA1 Message Date
Leonid Startsev 4bf6322dd7 Change signature of KmType.visitExtensions — it should return TypeExtensionVisitor, not TypeExtension. 2022-11-28 11:01:57 +00:00
Leonid Startsev 1afe0b9cd0 Change kotlinx.metadata.impl package to kotlinx.metadata.internal
Same with kotlinx.metadata.jvm.impl package
2022-11-28 11:01:57 +00:00
Pavel Kirpichenkov ad0dee822e [MPP] KT-54974 Implement TCS dependency resolver for K/N stdlib 2022-11-28 09:25:07 +00:00
Artem Daugel-Dauge 4f736524b2 KT-54969 Kotlin artifacts withPodspec DSL 2022-11-27 18:09:38 +00:00
Ilya Chernikov 4af32b8d36 K2 Scripting, IR: non-class based scripts support in IR 2022-11-26 18:01:49 +00:00
Ilya Chernikov cc9a7480a2 K2 Scripting: add FIR2IR conversion for FirScript 2022-11-26 18:01:49 +00:00
Ilya Chernikov 47448d779c K2 Scripting: enable script diagnostic tests for FIR
also add script scopes test
2022-11-26 18:01:49 +00:00
Ilya Chernikov a3a1550933 K2 scripting: add initial scripting support to K2 frontend 2022-11-26 18:01:48 +00:00
Svyatoslav Kuzmich 7ec6608e29 [Wasm] Add Promise and support tests that return Promise
Co-authored-by: Ilya Gorbunov <Ilya.Gorbunov@jetbrains.com>

Merge-request: KT-MR-7717
Merged-by: Svyatoslav Kuzmich <svyatoslav.kuzmich@jetbrains.com>
2022-11-25 20:56:47 +00:00
Evgeniy.Zhelenskiy 002f6bd34a [FIR] Fix JvmName annotation diagnostics
Signed-off-by: Evgeniy.Zhelenskiy <Evgeniy.Zhelenskiy@jetbrains.com>

#KT-55143
2022-11-25 16:30:22 +01:00
Dmitrii Gridin cb8cc65fb8 [AA Fe10] update testData
org.jetbrains.kotlin.analysis.api.fe10.test.cases.generated.cases.symbols.Fe10IdeNormalAnalysisSourceModuleSymbolByFqNameTestGenerated.testKclass
2022-11-25 15:33:58 +01:00
Zalim Bashorov 70a3d43adf [Wasm] Update Binaryen version in gradle plugin: 110 -> 111 2022-11-25 15:32:32 +01:00
Zalim Bashorov fe1157c873 [Wasm] Add to TODO the hash of the commit to revert 2022-11-25 15:32:32 +01:00
Zalim Bashorov 7f8f7aa050 [Wasm] Revert ref cast and test instructions to be compatible with Binaryen 2022-11-25 15:31:48 +01:00
Zalim Bashorov 5f140dac21 [Wasm] Remove wasm_ref_cast and use wasm_ref_cast_null inside the compiler 2022-11-25 15:31:47 +01:00
Zalim Bashorov e7d0e451e7 [Wasm] Fix immediate type for recently (in M6) introduced instructions
STRUCT_TYPE_IDX -> HEAP_TYPE
WasmImmediate.TypeIdx -> WasmImmediate.HeapType
2022-11-25 15:31:47 +01:00
Anna Kozlova abb45a0728 [AA] don't treat incomplete function as anonymous
^KTIJ-23672
sync anonymous function predicate with RawFirBuilder/DeclarationsConverter
2022-11-25 14:27:03 +00:00
Ilya Gorbunov 7dd907342e Document the nature of natural order KT-54168 2022-11-25 14:09:10 +00:00
Ilya Gorbunov 0d0cc9250b Note about all() result on empty collections KT-54835 2022-11-25 14:09:09 +00:00
Ilya Gorbunov 77e03bb769 Minor fixes in math docs 2022-11-25 14:09:09 +00:00
Ilya Gorbunov b8728c18cb Fix Optional.asSequence docs 2022-11-25 14:09:09 +00:00
Zalim Bashorov 3ac90cf0e4 [CODEOWNERS] Add missed leading slash in the paths 2022-11-25 14:54:08 +01:00
Anna Kozlova cd0b1c2fff [LL] do not build fir in a non-cancelable section
find by classId might require indices which will throw PCE when not up-to-date
which is prohibited in non-cancelable section
2022-11-25 13:28:20 +00:00
Egor Kulikov d585f068dd [FIR] Make anonymous initializer lazy in RawFirBuilder
Fourth step for KT-52615

Merge-request: KT-MR-7798
Merged-by: Egor Kulikov <Egor.Kulikov@jetbrains.com>
2022-11-25 11:41:44 +00:00
Nikolay Lunyak a454d42e65 [FIR] KT-54587: Report the missing diagnostics
^KT-54587 Fixed

Merge-request: KT-MR-7791
Merged-by: Nikolay Lunyak <Nikolay.Lunyak@jetbrains.com>
2022-11-25 10:19:58 +00:00
Abduqodiri Qurbonzoda 3f95b7e031 Clarify Map.getOrElse and MutableMap.getOrPut documentation #KT-21392 2022-11-25 09:37:37 +00:00
Nikolay Lunyak 7147b7d17b [FIR] KT-55033: Split runTransaction into smaller functions
^KT-55033 Fixed

Merge-request: KT-MR-7779
Merged-by: Nikolay Lunyak <Nikolay.Lunyak@jetbrains.com>
2022-11-25 09:12:15 +00:00
Alexander Likhachev bcc0414960 [Gradle, MPP] Cover KT-55134 by tests 2022-11-25 03:24:52 +01:00
Alexander Likhachev 51aa284dd1 [Gradle, MPP] Do not read tests state file when it's absent
#KT-55134 Fixed
2022-11-25 03:24:50 +01:00
vladislav.grechko 50e92d2238 Add null checks in constructors taking value class types
^KT-53492: Fixed
2022-11-24 20:12:05 +00:00
Vladislav Grechko cd6e865fb3 Improve support of 'lateinit' modifier
- Allow 'lateinit' for inline classes which underlying type
is suitable for 'lateinit'

- K2: report all problems related to 'lateinit' modifier

^KT-55052: Fixed
2022-11-24 19:47:21 +00:00
vladislav.grechko e0c13e5276 Fix addAll & putAll invocations on inline mutable collections
^KT-54950: Fixed
2022-11-24 19:27:42 +00:00
Dmitrii Gridin 8fc787d6df [AA FIR] FirCallableSignature: rename 'sameSignature' to 'hasTheSameSignature'
^KT-54826
2022-11-24 18:32:46 +00:00
Dmitrii Gridin c5fb8e7ceb [AA FIR] FirCallableSignature: avoid redundant resolve for return type
^KT-54826
2022-11-24 18:32:46 +00:00
Dmitrii Gridin 3bc9299b3b [FIR] SignatureEnhancement: drop redundant 'resolvePhase' for type parameter
^KT-54826
2022-11-24 18:32:45 +00:00
Dmitrii Gridin fa7fe74c5f [AA FIR] containing declaration: drop redundant fake elements
it is possible after f775778efa

^KT-54826
2022-11-24 18:32:45 +00:00
Dmitrii Gridin e684607e9d [AA] FirCallableSignature: add test on type alias
^KT-54826
2022-11-24 18:32:45 +00:00
Dmitrii Gridin dfc59d5d07 [AA FIR] support symbol pointer restore for value parameter from delegated setter
^KT-54051
2022-11-24 18:32:44 +00:00
Dmitrii Gridin 55ca2d608b [AA] AbstractSymbolTest: add check for parameters
^KT-54826
2022-11-24 18:32:44 +00:00
Dmitrii Gridin 1222d18b3d [AA Fe10] fix StackOverflowError from KtFe10PsiClassInitializerSymbol
^KT-54826
2022-11-24 18:32:44 +00:00
Dmitrii Gridin ec613e57ef [FIR] add Enhancement wrapping for type parameters
^KT-55095 Fixed
2022-11-24 18:32:43 +00:00
Dmitrii Gridin 2155a23e4e [AA FIR] implement FirCallableSignature to simplify search by signature
^KT-54826 Fixed
2022-11-24 18:32:43 +00:00
Dmitrii Gridin 48e2e5cc87 [AA] AbstractSymbolTest: add type parameters check
^KT-54826
2022-11-24 18:32:43 +00:00
Dmitrii Gridin 771823c9e7 [AA] AbstractSymbolTest: improve implicit checks
^KT-54826
2022-11-24 18:32:42 +00:00
Dmitrii Gridin 7e433a936d [AA FIR] introduce FirCallableSignature to encapsulate IdSignature
^KT-54826
2022-11-24 18:32:42 +00:00
Dmitrii Gridin b04c9f02b0 [AA] add test on data class members
^KT-54051
2022-11-24 18:32:42 +00:00
Dmitrii Gridin edd60cd204 [AA] improve symbol pointers for property accessors
Fe10:
* supported default setter
* support default getter
* support parameter from default setter

Fir:
* support java synthetic properties
* support parameter from default setter

^KT-54051
2022-11-24 18:32:41 +00:00
Denis.Zharkov ca12cfb90d K2: Do not fix variables that has yet unprocessed constraints in forks
Otherwise, exception from org.jetbrains.kotlin.resolve.calls.inference.components.ConstraintInjector.TypeCheckerStateForConstraintInjector.fixedTypeVariable
might happen during forks resolution

The test data is extracted from intelliJ FP test

^KT-43296 Fixed
2022-11-24 17:29:30 +00:00
Denis.Zharkov b73acd7a3a K2: Apply constraints from forks at UNTIL_FIRST_LAMBDA completion phase
Otherwise, OVERLOAD_RESOLUTION_AMBIGUITY is reported for the calls to
the functions annotated as @OverloadResolutionByLambdaReturnType

^KT-43296 In Progress
2022-11-24 17:29:29 +00:00
Denis.Zharkov 10d63cc52a K2: Postpone inference forks resolution until FULL completion
It helps to use expected type information when choosing the branch
even in the nested calls

^KT-43296 In Progress
2022-11-24 17:29:29 +00:00