Code completion for Java record class constructors

[nmatt]

Description

Within Java record classes, there is no code completion for generating constructors. It would be helpful to have them, in analogy to code completion for constructors in regular classes.

Use case/motivation

In a regular class like for example class Example { int a; String b; }, invoking code completion offers to generate constructors Example() and Example(int a, String b). In record classes, it would be similarly useful to offer generating a compact constructor (Example { }) or a default constructor (Example() { this(...); }).

When invoking code completion within a record class, while the record type name is offered among all other accessible types, for insertion as e.g. a field type, this is less convenient that a dedicated constructor completion, because the latter would be at the top of the completion popup, and would also insert the access modifier (e.g. compact constructors of public record classes need to be declared as public), braces and possible argument list, etc.

Related issues

No response

Are you willing to submit a pull request?

No