void () { myFixture.addClass("package org.checkerframework.framework.qual; public class DefaultQualifier {}"); myFixture.addClass("package org.checkerframework.checker.nullness.qual; @java.lang.annotation.Target({ElementType.TYPE_USE}) public class NonNull {}"); myFixture.addClass("package org.checkerframework.checker.nullness.qual; @java.lang.annotation.Target({ElementType.TYPE_USE}) public @interface Nullable {}"); myFixture.addFileToProject("p/package-info.java", """ @org.checkerframework.framework.qual.DefaultQualifier(value = NonNull.class, locations = TypeUseLocation.ALL) package p; import org.checkerframework.checker.nullness.qual.NonNull; """); MockIntroduceVariableHandler handler = new MockIntroduceVariableHandler("m", false, false, false, "java.lang.@org.checkerframework.checker.nullness.qual.Nullable String"); String baseName = "/refactoring/introduceVariable/" + getTestName(false); myFixture.configureByFile(baseName + ".java"); handler.invoke(getProject(), getEditor(), getFile(), null); myFixture.checkResultByFile(baseName + ".after.java"); }