mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 20:52:37 +07:00
GitOrigin-RevId: e54db7c5b175b264ac37c28a0cdab8ffd194c93f
15 lines
220 B
Plaintext
15 lines
220 B
Plaintext
class Temp {
|
|
class Set {
|
|
native Object size();
|
|
}
|
|
|
|
public Object foo(Set bar) {
|
|
if (bar.size() < 2) {
|
|
bar.size(); // or online this
|
|
return null; // Inline this
|
|
}
|
|
|
|
return bar;
|
|
}
|
|
|
|
} |