Skip to content

Conversation

@SentryMan
Copy link
Collaborator

Fixes error where records generate incorrectly on JDT

@SentryMan SentryMan self-assigned this Mar 15, 2025
@SentryMan SentryMan added the bug Something isn't working label Mar 15, 2025
@SentryMan
Copy link
Collaborator Author

SentryMan commented Mar 15, 2025

record model

@Json
public record RequestModel(@Property("sus")  String value) {}

I wouldn't know how to write a test for this, so before:
image

After
image

Fixes error where records generate incorrectly on JDT
@SentryMan SentryMan enabled auto-merge (squash) March 15, 2025 01:37
@rbygrave
Copy link
Contributor

Awesome, this makes a lot more sense to me now. Yes, I'm not really expecting a test case for this type of bug.

@SentryMan SentryMan changed the title Fix JDT records Fix JDT @Property records Mar 15, 2025
@SentryMan SentryMan merged commit b780604 into avaje:main Mar 15, 2025
5 checks passed
@SentryMan SentryMan deleted the jdt-records branch March 15, 2025 03:42
@rbygrave rbygrave added this to the 3.1 milestone Mar 15, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants