Skip to content

Kotlin printer: super.toArray() stays a call on super - #151

Closed
tomtourwe wants to merge 1 commit into
develfrom
fix/toarray-on-super
Closed

tomtourwe wants to merge 1 commit into
develfrom
fix/toarray-on-super

Conversation

@tomtourwe

Copy link
Copy Markdown

What

In a subclass of AbstractCollection, return super.toArray(); printed
(super as java.util.Collection<*>).toArray() (6fa50d2); kotlinc: 'super' cannot be a callee.
Kotlin's super is no value: it can be neither cast nor the receiver of toTypedArray. The toArray
branches now leave a call on super alone.

Now: super.toArray() and super.toArray(array).
Test: TestJavaToKotlinStructure.toArrayOnSuper (output compiles with kotlinc).

How it was found

A mutation-testing run (PIT) over the lines that maddi's latest 100 commits changed listed the changed code no
existing test checks. Tests written for those lines, from what each commit says the code should do, exposed this
bug in the lines 6fa50d2 changed.

Tests

On devel 07b926b: the new test fails without the fix and passes with it.
With this fix and the nine others of this series applied together, every maddi test passes
(run on 7bc974b: 2,743 tests, 0 failures).

🤖 Generated with Claude Code

In a subclass of AbstractCollection, `return super.toArray();` printed
`(super as java.util.Collection<*>).toArray()` (6fa50d2); kotlinc: 'super' cannot be a callee.
Kotlin's super is no value: it can be neither cast nor the receiver of toTypedArray. The toArray
branches now leave a call on super alone.

Now: `super.toArray()` and `super.toArray(array)`.
Test: TestJavaToKotlinStructure.toArrayOnSuper (output compiles with kotlinc).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tom Tourwe <Tom.Tourwe@codelaser.io>
@bnaudts

bnaudts commented Oct 19, 2026

Copy link
Copy Markdown
Contributor

Incorporated into maddi as a cherry-pick with you as author, rather than merged from this branch. Closing this PR in favour of that commit. Commit: 21366b3.

Devel had changed the same condition in KotlinExpressionPrinter (notReifiable(expectedElement(mc)) was new there). The two are combined: your !onSuper test sits beside devel's notReifiable check, so super.toArray() stays a call on super and devel's case keeps working.

The whole batch (#146–#155) passes the Kotlin, C#, printer, front-end, inspection and bytecode suites on JDK 26 and JDK 27. It goes into devel with the next merge of the ws/maddi-bug branch.

🤖 Generated with Claude Code

@bnaudts bnaudts closed this Oct 19, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants