Skip to content

Kotlin printer: a lambda cast to a functional interface gets its SAM constructor once - #147

Closed
tomtourwe wants to merge 1 commit into
develfrom
fix/lambda-cast-sam-once
Closed

tomtourwe wants to merge 1 commit into
develfrom
fix/lambda-cast-sam-once

Conversation

@tomtourwe

Copy link
Copy Markdown

What

Since fd9fde2, (Supplier<List<String>>) () -> new ArrayList<>() printed as
Supplier<MutableList<String>>(Supplier<MutableList<String>> { ArrayList() }), which kotlinc
rejects (argument type mismatch): cast() wrapped the lambda, which the lambda printer had already
given its SAM constructor. cast() now prints the lambda with the cast's type as its SAM constructor.

Now: Supplier<MutableList<String>> { ArrayList() }, returned, assigned and as an argument.
Test: TestJavaToKotlinCalls.lambdaCastToFunctionalInterface (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 fd9fde2 changed; it is a regression of that commit (the parent printed Kotlin that compiles).

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

…constructor once

Since fd9fde2, `(Supplier<List<String>>) () -> new ArrayList<>()` printed as
`Supplier<MutableList<String>>(Supplier<MutableList<String>> { ArrayList() })`, which kotlinc
rejects (argument type mismatch): cast() wrapped the lambda, which the lambda printer had already
given its SAM constructor. cast() now prints the lambda with the cast's type as its SAM constructor.

Now: `Supplier<MutableList<String>> { ArrayList() }`, returned, assigned and as an argument.
Test: TestJavaToKotlinCalls.lambdaCastToFunctionalInterface (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: d071d2e.

The fix applied unchanged. Your test conflicted with tests devel had added in the same place, in TestJavaToKotlinStructure; it now comes after them.

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