mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-22 00:19:11 +07:00
GitOrigin-RevId: 7e7fc16ee380f2d154b5b1a99815d9ed041d05ee
9 lines
132 B
Java
9 lines
132 B
Java
package p;
|
|
class Test {
|
|
@org.checkerframework.checker.nullness.qual.Nullable
|
|
String s;
|
|
|
|
{
|
|
<selection>s</selection>
|
|
}
|
|
} |