mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 17:56:55 +07:00
#IDEA-265154 fixed Merge-request: IJ-MR-158642 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 7a04d4830e1f76ee3ad965390f28168834dca9e9
12 lines
250 B
Java
12 lines
250 B
Java
// "Convert to record class" "true-preview"
|
|
|
|
/**
|
|
* @param x head doc for x
|
|
* another head doc for xtail doc for x
|
|
* @param y head doc for y
|
|
* internal doc for y
|
|
* tail doc for y
|
|
*/
|
|
record Foo(int x, int y, int z) {
|
|
}
|