checker/tests/tainting/TestNoQualifierParameterConflicting.java

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

@HasQualifierParameter(Tainted.class)
@NoQualifierParameter(Tainted.class)
// :: error: (conflicting.qual.param)
public class TestNoQualifierParameterConflicting {

  @HasQualifierParameter(Tainted.class)
  static class Super {}

  @NoQualifierParameter(Tainted.class)
  // :: error: (conflicting.qual.param)
  static class Sup extends Super {}
}