void (JavaCodeInsightTestFixture fixture) { fixture.addClass("package org.checkerframework.checker.nullness.qual;import java.lang.annotation.*;" + "@Target(ElementType.TYPE_USE)public @interface NonNull {}"); fixture.addClass("package org.checkerframework.checker.nullness.qual;import java.lang.annotation.*;" + "@Target(ElementType.TYPE_USE)public @interface Nullable {}"); fixture.addClass("package org.checkerframework.framework.qual;" + "import java.lang.annotation.*;" + "enum TypeUseLocation {ALL}" + "public @interface DefaultQualifier {" + " Class<? extends Annotation> value();" + " TypeUseLocation[] locations() default {TypeUseLocation.ALL};" + "}"); }