Skip to content

Conversation

Florian3k
Copy link
Contributor

Closes #24167

@hamzaremmal
Copy link
Member

CI is fixed by #24173

@hamzaremmal
Copy link
Member

@Florian3k I've rebased on top of a72423e

@hamzaremmal hamzaremmal enabled auto-merge October 14, 2025 02:31
@hamzaremmal hamzaremmal merged commit 5ead08b into scala:main Oct 14, 2025
51 checks passed
@WojciechMazur WojciechMazur added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Oct 22, 2025
WojciechMazur added a commit that referenced this pull request Oct 22, 2025
Backports #24172 to the 3.7.4.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added this to the 3.7.4 milestone Oct 22, 2025
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Oct 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:done This PR was successfully backported.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Java record varargs field works in separate compilation, but not in joint compilation

3 participants