// This class should not issues any errors, since these annotations are identical to the ones
// on java.io.PrintWriter in the Index JDK.

import java.io.File;
import java.io.FileNotFoundException;
import java.io.PrintWriter;
import org.checkerframework.checker.index.qual.IndexFor;
import org.checkerframework.checker.index.qual.IndexOrHigh;

public class MethodOverrides3 extends PrintWriter {
  public MethodOverrides3(File file) throws FileNotFoundException {
    super(file);
  }

  @Override
  public void write(char[] buf, @IndexFor("#1") int off, @IndexOrHigh("#1") int len) {}
}