Fix ClassCastException when generating unique parameter names for Records#3045
Merged
Jenkins - Eclipse JDT / API Tools
succeeded
Jun 24, 2026 in 0s
No new issues, 1 total
| Total | New | Outstanding | Fixed | Trend |
|---|---|---|---|---|
| 1 | 0 | 1 | 0 | 💤 |
Reference build: eclipse.jdt.ui-github » master #732
Details
Severity distribution of all issues
| Error | Warning High | Warning Normal | Warning Low |
|---|---|---|---|
| 0 | 0 | 1 | 0 |
Loading