mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-03 20:33:31 +07:00
GitOrigin-RevId: 22a46c15d8900d8a31514846755a013f6a67ad42
14 lines
351 B
Java
14 lines
351 B
Java
// "Convert variable 'res' from String to StringBuilder (null-safe)" "true-preview"
|
|
|
|
public class Main {
|
|
String test(String[] strings) {
|
|
String res = null;
|
|
res += "foo";
|
|
for (String s : strings) {
|
|
res+<caret>=", ";
|
|
res+=s;
|
|
}
|
|
return res; // known to be not-null at this point
|
|
}
|
|
}
|