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