Constructor in Records with varargs not found

[brunoborges]

Environment

• JDK version: 17

Steps To Reproduce

1. Create a Record with last argument being varargs
2. Attempt to instantiate the record using varargs, from another class.

Current Result

Expected Result

Constructor should be found.

Additional Informations

If the record is declared within the same class instantiating it, the extension works fine.

[snjeza]

This is an upstream issue. It can be reproduced in Eclipse.

[rgrunber]

Reproduced upstream with Eclipse :
Version: 2022-09 (4.25)
Build id: I20220823-0600

Even stranger is I don't see the error reported in the problems view though it is clearly shown in the editor 😐

@snjeza , is there a known bug for this we can reference (even old one in bugs.eclipse.org) ? If none, we should probably file a new one.

[snjeza]

, is there a known bug for this we can reference (even old one in bugs.eclipse.org) ? If none, we should probably file a new one.

@rgrunber I can't find it.

[rgrunber]

Just noticed that the code runs just fine for me, if the above is the only error 😐 . @brunoborges , can you confirm that ? I've included it in the report upstream.

[brunoborges]

Yeah, code works.

[snjeza]

A related PR - eclipse-jdt/eclipse.jdt.core#618

[snjeza]

Fixed with eclipse-jdtls/eclipse.jdt.ls#2538