checker/tests/tainting/withdefault/NoQualifierTest.java

package withdefault;

import org.checkerframework.checker.tainting.qual.PolyTainted;
import org.checkerframework.checker.tainting.qual.Tainted;
import org.checkerframework.framework.qual.NoQualifierParameter;

@NoQualifierParameter(Tainted.class)
public class NoQualifierTest {
  // :: error: (invalid.polymorphic.qualifier.use)
  @PolyTainted int field;
}