Skip to content

Box bounded arguments of HKT result types in Java generic signatures - #26787

Open
SolalPirelli wants to merge 1 commit into
scala:mainfrom
dotty-staging:solal/26786
Open

Box bounded arguments of HKT result types in Java generic signatures#26787
SolalPirelli wants to merge 1 commit into
scala:mainfrom
dotty-staging:solal/26786

Conversation

@SolalPirelli

Copy link
Copy Markdown
Contributor

Fixes #26786

Have you relied on LLM-based tools in this contribution?

No

How was the solution tested?

New automated tests (including the issue's reproducer, if applicable)

@SolalPirelli SolalPirelli added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Aug 12, 2026
@SolalPirelli SolalPirelli added this to the 3.9.0 milestone Aug 12, 2026
@WojciechMazur

Copy link
Copy Markdown
Contributor

Found 1 more failure, this this in reactivecore/usql, it's tiny, but results in similar failure, can you check it out as well / include in tests?

@throws[IllegalArgumentException]("x")
class A
scala-cli compile repro/reactivecore/usql/test.scala -S 3.nightly --server=false
Error while emitting A
^ (of class java.lang.Character)
1 error found
Compilation failed

I think it also fails withou ("x")

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Match-error in JVM backend when emitting HK-type with type lambda contianing primtive

3 participants