checker/tests/tainting/Issue2107.java

import org.checkerframework.checker.tainting.qual.PolyTainted;

public abstract class Issue2107 {

  abstract @PolyTainted int method(@PolyTainted Issue2107 this);

  @PolyTainted int method2(@PolyTainted Issue2107 this) {
    return this.method();
  }

  @PolyTainted int method3(@PolyTainted Issue2107 this) {
    return method();
  }
}