Kotlin: cover 2.4.20 language features - #22462
Draft
andersfugmann wants to merge 10 commits into
Draft
Conversation
Add focused coverage for an abstract value base class and a concrete multi-field subclass with property overrides, inheritance, and a secondary constructor. The existing extractor represents these constructs correctly. This commit adds coverage only and requires no extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add focused coverage for short-form name-based destructuring where the selected property is not the first declared field. Check the resolved getter and data flow from the selected field to the destructured local. The existing extractor selects the property by name correctly. This commit adds coverage only and requires no extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add regression coverage for context parameters on a function and an extension-property getter. Record callable parameters and implicit call arguments. Without the follow-up fix, the test reports missing context parameters, missing arguments, and database consistency errors. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Treat Kotlin 2.4 IR context parameters as callable value parameters and map member-access arguments using their parameter kinds instead of assuming that all non-regular parameters form a prefix. This restores context parameters and implicit arguments while preserving dispatch and extension receiver handling. The change is confined to the Kotlin 2.4 compatibility source set. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Extend the context-parameter regression test to an extension-property setter. Check the extension receiver, context argument, assigned value, and resolved setter call. The preceding extractor fix already handles this case correctly. This commit adds coverage only and requires no additional extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add focused coverage for a collection literal resolved through a companion operator fun of. Check the call target, arguments, result type, locations, and element data flow through the resulting collection. The existing extractor handles the lowered call correctly. This commit adds coverage only and requires no extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add focused coverage for a companion-block function and companion extension function and property. Check declaration ownership, property accessors, resolved calls, and data flow. The existing extractor handles the lowered declarations and calls correctly. This commit adds coverage only and requires no extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add a JVM 21 regression test for when generation using invokedynamic. The same expected source AST also passes with inline when generation. The backend choice does not change the IR observed by the extractor. This commit adds coverage only and requires no extractor change. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Replace the secondary constructor's Long conversion with a String overload. This preserves coverage for non-trivial value-class construction without exercising an unrelated primitive-conversion diagnostic. This is a test-only refinement and does not change extractor behaviour. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Derive Kotlin 2.4 parameter indices from preceding context and regular parameters while reserving the Java parameter slot for an extension receiver. This removes negative context-parameter indices and prevents setter parameter label collisions found by the consistency checks. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
andersfugmann
force-pushed
the
andersfugmann/kotlin-2.4.20-language-features
branch
from
August 28, 2026 14:09
8eb2160 to
701a005
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Add focused extraction coverage for Kotlin 2.4.20 language constructs:
whengeneration usinginvokedynamicThe new constructs already lower to supported IR except for context parameters. Kotlin 2.4 represents these as
IrParameterKind.Context, so the compatibility layer now extracts them as callable parameters and call arguments, with stable indices when extension receivers are present.Callable references with context parameters are not covered because Kotlin 2.4.20-RC2 rejects them.
Compatibility
The extractor change is limited to the Kotlin 2.4 compatibility source set. Earlier compiler compatibility implementations are unchanged. The remaining changes are focused tests using compiler-version-specific feature flags.
Validation
Stack
This pull request is stacked on #22404 and should be reviewed after it.