Commit Graph

102667 Commits

Author SHA1 Message Date
Sebastian Sellmair 7af254fbf2 [Gradle] Implement IdeaKotlinBinaryCoordinates.displayString and identityString
^KT-60053 In Progress
2023-07-14 12:09:09 +00:00
Sebastian Sellmair e3f0fa4257 [Gradle] IdeaKotlinBinaryCoordinates: Include 'Capabilities'
... in order to differentiate between feature variants of
published libraries (e.g. testFixtures)

^KT-60053 In Progress
2023-07-14 12:09:09 +00:00
Sebastian Sellmair 9732651264 [Gradle] kgp-idea-proto: Automate protoc setup
^KT-60053 In Progress
2023-07-14 12:09:09 +00:00
Dmitriy Novozhilov 93c3bcbd74 [FIR2IR] Get rid of FirBasedSignatureComposer.withFileSignature 2023-07-14 11:04:27 +00:00
Dmitriy Novozhilov 80ae5f3ec7 [FIR2IR] Reformat FirBasedSignatureComposer
Move public methods to the top of the class
2023-07-14 11:04:27 +00:00
Dmitriy Novozhilov 45d9f9edf9 [FIR2IR] Split composeSignature method into three for different types of declarations
This is needed to avoid passing `containingClass` for non-callable
  declarations
2023-07-14 11:04:27 +00:00
Dmitriy Novozhilov a75d5353ee [FIR2IR] Get rid of forceTopLevelPrivate parameter in signature composer
Seems like it has no sense now
2023-07-14 11:04:27 +00:00
Dmitriy Novozhilov 5f36f80d25 [FIR2IR] Drop Fir2IrSignatureComposer
This interface had only one implementation, so all its usages were
  replaced with this implementation
2023-07-14 11:04:27 +00:00
Svyatoslav Kuzmich 2fd77d0925 [Wasm] IDL: Generate overloads for functions with union-typed arguments 2023-07-14 10:52:10 +00:00
Svyatoslav Kuzmich 24656b1576 [Wasm] Copy resolveTypes.kt from dukat
This file is modified later to generate overloads for union types
2023-07-14 10:52:10 +00:00
Svyatoslav Kuzmich c1100042b2 [Wasm] Use Unit in IDL event handler return type
Return value can be used in rare cases to stop event propagation.
Event methods can be called instead.

^KT-57058 Fixed
2023-07-14 10:52:10 +00:00
Sebastian Sellmair 5f00bfecff [Gradle] KotlinJvmTarget.withJava(): Disable java *Elements configurations and tasks
... as it was done before commit:

[Gradle] KotlinJvmTarget: Apply java-base plugin instead of java plugin for `withJava` Sebastian Sellmair* 22.06.23, 15:19
e47f4137f4

^KT-60388 Verification Pending
2023-07-14 08:15:05 +00:00
Sebastian Sellmair 625ce4c9db [Gradle] Implement regression test for KT-60388
^KT-60388 In Progress
2023-07-14 08:15:05 +00:00
Yahor Berdnikau 7b665e7673 [Gradle] Move UsesKotlinJavaToolchain inheritance into api
Such way it will be visible which tasks are using this feature.

^KT-58858 In Progress
2023-07-13 19:20:19 +00:00
Yahor Berdnikau 8988557b6d Update documentation for UsesKotlinJavaToolchain
^KT-58858 In Progress
2023-07-13 19:20:19 +00:00
Egor Kulikov 70d49999ac [FIR] Generate an error primary constructor when super call is invalid
Merge-request: KT-MR-11026
Merged-by: Egor Kulikov <Egor.Kulikov@jetbrains.com>
2023-07-13 17:37:48 +00:00
Alexander Korepanov a588e75c11 [JS IR] Optimize JS AST for closures
^KT-58891 Fixed
2023-07-13 16:37:18 +00:00
Alexander Korepanov 524c475834 [JS IR] Implement MoveTemporaryVariableDeclarationToAssignment optimization 2023-07-13 16:37:18 +00:00
Alexander Korepanov 25f7b81d51 [JS IR] Drop TemporaryAssignmentElimination optimization
Enable TemporaryAssignment tests
2023-07-13 16:37:17 +00:00
Roman Efremov a79282cec1 [FE] Prohibit actual typealias to certain compiler annotations
^KT-58554
2023-07-13 16:12:59 +00:00
Ivan Kochurkin f4a648aa3e [K2, MPP] Fix NO_ACTUAL_FOR_EXPECT reporting for all modules including the platform ones
^KT-58483 Fixed
2023-07-13 16:01:26 +00:00
Stanislav Ruban 4f92008f01 [test docs] Actualize the README.md for diagnostic tests somewhat 2023-07-13 13:41:36 +00:00
Stanislav Ruban 5c644bcac8 [test infra] Add a directive for type checking utils that use @Exact 2023-07-13 13:41:36 +00:00
Andrei Klunnyi 0323b0fb19 KT-59801 [FIR] scripting: tests for reference shortening 2023-07-13 15:21:39 +02:00
Dmitrii Gridin 3d40eba379 [LL FIR] LLFirContractsLazyResolver: add isResolved check
Currently, FirLegacyRawContractDescription is a valid class for
resolved contract in case of error description.
This condition should be dropped after KT-60310

^KT-60310
2023-07-13 12:27:02 +00:00
Dmitrii Gridin 4b330e88be [LL FIR] LLFirLazyResolver: implement checkIsResolved
To simplify logic and avoid boilerplate
2023-07-13 12:27:02 +00:00
Dmitrii Gridin 5b6e6b7a4e [LL FIR] LLFirLazyResolver: implement updatePhaseForDeclarationInternals
To avoid code duplication in each implementation
2023-07-13 12:27:02 +00:00
Dmitrii Gridin 660385b67d [LL FIR] move annotation type checks to TYPES phase resolver
LLFirTypeTargetResolver in general is responsible for annotation
type resolution, so such checks should be done on its phase.

Also, there is no sense to trying to check a type of annotation mapping
values because they will be initialized only during
LLFirAnnotationArgumentsMappingTargetResolver so, in most cases,
current check during LLFirAnnotationArgumentsLazyResolver is useless

^KT-60295 Fixed
2023-07-13 12:27:02 +00:00
Abduqodiri Qurbonzoda fed453fdea Provide Common StringBuilder.append/insert with primitive type arguments #KT-57359
Merge-request: KT-MR-10892
Merged-by: Abduqodiri Qurbonzoda <abduqodiri.qurbonzoda@jetbrains.com>
2023-07-13 11:52:14 +00:00
Andrei Klunnyi 2d50bd6857 KT-60193 scripts: configuration discovery might fail silently (2)
This commit covers one more case similar to what is described
in the previous commit of the series (c9eebffb).
2023-07-13 13:31:52 +02:00
Jinseong Jeon 5596c3ae80 AA: better error message for file w/o containing module
...instead of throwing NoSuchElementException
2023-07-13 11:51:23 +02:00
Dmitrii Gridin b67b37cdb3 [FIR] FirJavaFacade: do not duplicate record constructor
The fresh version of intellij has all record-related declarations,
so an additional fake constructor leads to errors like
KTIJ-25364 (OVERLOAD_RESOLUTION_AMBIGUITY)

^KTIJ-25366 Fixed
^KTIJ-25364 Fixed
^KTIJ-25368 Fixed
^KTIJ-25370 Fixed
2023-07-13 09:21:38 +00:00
Dmitrii Gridin 97a12af03e [FIR] fix publication race in fakeOverrideSubstitution
Problem: fakeOverrideSubstitution was set to null before the return
type was published, so another thread can see a state where
fakeOverrideSubstitution is null and a return type is implicit
simultaneously

^KT-60385
^KT-59758 Fixed
2023-07-13 09:17:08 +00:00
Mikhail Glukhikh 17da09bf17 K2: add ConeKotlinType argument for NULL_FOR_NONNULL_TYPE 2023-07-13 09:07:39 +00:00
Mikhail Glukhikh 9d9d7880af K2: render types in quotes in diagnostic messages 2023-07-13 09:07:39 +00:00
Mikhail Glukhikh c839cd3c11 K2: don't use debugging type renderer in error messages 2023-07-13 09:07:39 +00:00
Yahor Berdnikau bd000e61f6 [repo] Migrate resolveDependencies.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau 3209dbbf10 [repo] Migrate ideaRtHack.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau 9cc28406a6 [repo] Migrate modularizedTestConfigurations.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau e1ffe34088 [repo] Migrate jps.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau 8018b5f63b [repo] Migrate javaInstrumentation.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau d686cb1365 [repo] Migrate report.gradle.kts into convention plugin
Otherwise, it could not find methods from buildsrc-compat.
2023-07-13 08:24:50 +00:00
Yahor Berdnikau 5b5dae9249 [repo] Move buildSrc into repo/gradle-build-conventions/buildsrc-compat project
Include new project as build logic included build. Such change will
allow us to start migration into build convention plugins by splitting
buildSrc logic into subprojects.
2023-07-13 08:24:49 +00:00
Roman Efremov 4a598afc36 [FE] Prohibit expect or actual opt-in annotations
^KT-58554
2023-07-13 08:15:42 +00:00
Sebastian Sellmair 600bb3dbc7 Bump Kotlin/Native version in KGP to 1.9.20-dev-6271
KT-59859
2023-07-12 20:17:03 +00:00
Sebastian Sellmair 3f0130ecf1 [Gradle] Change 'UnsafeNumber' RequiresOptIn.level to 'ERROR'
^KT-59859 Verification Pending
^KT-55757 Verification Pending
2023-07-12 20:17:03 +00:00
Denis.Zharkov 54962d5ec3 K2: Simplify FirDeclarationsResolveTransformer.transformAccessor
WithExpectedType mode was only needed to replace return type for the
getter, so I made it explicit there

After that, `resolutionMode` in `transformFunctionWithGivenSignature`
became effectively constant
2023-07-12 17:28:44 +00:00
Denis.Zharkov 8cee2c36d3 K2: Get rid of enhancedTypeRef concept in property accessors
As it's always equal to the latest value at `property.returnTypeRef`
2023-07-12 17:28:43 +00:00
Anna Kozlova a2cefbc6be [LL] retrieve module by original file
originalDeclaration is set for non-local declarations only,
thus requesting symbols for local declarations still goes
with non-physical elements
This lead to ModuleKind.BINARY_MODULE
for `NotUnderContentRootModule`s, because the declaring file is different

KT-60377
2023-07-12 15:37:53 +00:00
Pavel Punegov 61ba29a775 [K/N][test] Excluded filecheck_signext_zeroext_objc_export
With enabled two-stage compilation test fails to match bridges
which generation depends on order
See ^KT-58863
2023-07-12 14:46:27 +00:00