mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-29 07:03:37 +07:00
GitOrigin-RevId: 28ff56adebd81918856c5a562cda051e52a33c32
4 lines
80 B
Java
4 lines
80 B
Java
interface Y {
|
|
@withTypeUse.Nullable Object @withTypeUse.NotNull [] arr();
|
|
}
|