mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-30 04:45:20 +07:00
#IDEA-265154 fixed Merge-request: IJ-MR-158642 Merged-by: Bartek Pacia <bartek.pacia@jetbrains.com> GitOrigin-RevId: 7a04d4830e1f76ee3ad965390f28168834dca9e9
15 lines
283 B
Java
15 lines
283 B
Java
// "Convert to record class" "true-preview"
|
|
|
|
/**
|
|
* Some class doc
|
|
*
|
|
* @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
|
|
* @see Foo
|
|
*/
|
|
record Foo(int x, int y, int z) {
|
|
}
|