Files
2025-07-04 08:46:09 +00:00

12 lines
230 B
Java

package refactoring.introduceVariable;
import org.checkerframework.checker.nullness.qual.Nullable;
class Test {
@org.checkerframework.checker.nullness.qual.Nullable
String s;
{
@Nullable String <caret>m = s;
}
}