Support for Records in Java - false compilation error reported

[namannigam-zz]

Short description

Incorrect compilation issue reported by the plugin while using the records.

Since the latest version of IntelliJ, the IDE has started supporting Records in Java introduced as a preview feature in Java-14.

Expected behavior

There should be no compile error reported by the plugin based on the .class generated.

Version information

IDEA Version: IntelliJ IDEA 2020.1 EAP (Community Edition) Build #IC-201.6487.11, built on March 18, 2020 Runtime version: 11.0.6+8-b765.15 x86_64 macOS 10.14.6

Plugin Version: 0.29-EAP

Steps to reproduce

1. Create a record type as follows

@lombok.AllArgsConstructor public record Java(String version) { }

2. Create an instance of this class using the appropriate constructor and observe the behavior.

System.out.println(new Java("14").version());

3. The plugin highlights the "Cannot resolve constructor" message, on the other hand, the code compiles and executes correctly on the IDE.

Sample project

I have reported a reproducible issue on Stackoverflow with the observation and behavior with and without the plugin installed in the IDE.

• [x] I am able to reproduce this error on the sample project by following the steps described above

Additional information

In general, seems like Lombok in itself needs to support Records as well - https://github.com/rzwitserloot/lombok/issues/2356

[mplushnikov]

Yes, lombok doesn't support 'records' at the moment

[eduardotrzan]

Hi, is there an idea of when this would be supported? I see the same problem with java 16

[UkonnRa]

Hi, it seems that Lombok supports Java 16 records https://github.com/projectlombok/lombok/issues/2356, any update?

[EliasJorgensen]

@mplushnikov Any update on this? This is currently the only block for us to adopt using Records in our projects. Lombok support for Records was added in v1.18.20, so it should be possible to implement :smile: Thanks!

[prdoyle]

What's the purpose of the @AllArgsConstructor annotation? Records already have such a constructor.

Are you hoping Lombok will just ignore the annotation in this case?

[EliasJorgensen]

What's the purpose of the @AllArgsConstructor annotation? Records already have such a constructor.

Are you hoping Lombok will just ignore the annotation in this case?

I'm not sure how useful the @AllArgsConstructor annotation is on a record - in my case it's the @Builder i'd like :smiley:

[marx-freedom]

@Builder support would be very helpful :) https://youtrack.jetbrains.com/issue/IDEA-266513

[dstibbe]

What's the purpose of the @AllArgsConstructor annotation? Records already have such a constructor. Are you hoping Lombok will just ignore the annotation in this case?

I'm not sure how useful the @AllArgsConstructor annotation is on a record - in my case it's the @Builder i'd like smiley

Then I'd suggest using @With

[berry120]

@marx-freedom As a workaround for the moment that keeps IntelliJ happy, you can use builder on a compact constructor instead of the class, eg:

@Builder public MyRecord{}

Not ideal of course as it's just noise (there's no other reason to declare it), but worth noting.

[MCakrt]

@berry120 That didn't work for me. Idea still doesn't "see" the methods of the builder, doesn't offer them in code completion, and shows them in a red font, indicating a syntax error.

The code itself compiles and runs without any problems. It must be an issue in the plugin.

[berry120]

@MCakrt Interesting - are you definitely using the latest version of IntelliJ and have you tried the usual invalidate caches and restart? I've had the same issue specifying it on the record type itself, but no such issues specifying it on the constructor. Hopefully it's fixed soon either way!

[MCakrt]

@berry120 I have Idea 2021.2.3 Ultimate Edition. Invalidating cache doesn't help :-/

I hope they fix it soon. What a nuisance.

[jqno]

Same issue here. We're using @Builder on records, but IntelliJ doesn't recognise them properly.

This doesn't work:

@Builder
public record MyRecord(String myField) {}

This does:

public record MyRecord(String myField) {
    @Builder public MyRecord {}
}

Both scenarios work when compiling from the command-line with Maven.

So, it's pretty easy to work around, but we're using Lombok to get rid of boilerplate, not introduce more of it :wink:

[intellitour]

Same thing here... this is the only thing stopping me to update my projects to Java 17 LTS.

[hajdamak]

Workaround does not seem to work when @Builder is used together with @With.
Here @With works, but not @Builder:

@With
@Builder
record Test (int e) {
    Test {}
} 

Here @Builder works, but not @With:

@With
record Test (int e) {
    @Builder
    Test {}
} 

[MCakrt]

@hajdamak Brilliant! Thank you, the builder finally works. I wasn't even aware that @With exists.

[florensie]

This repository is only for the plugin on older versions of IntelliJ. The plugin development is integrated in IntelliJ in recent versions. See IDEA-266513 and https://github.com/JetBrains/intellij-community/pull/1855.

[linghengqian]

Unable to reproduce this issue, this issue should be closed and marked as fixed.