checker/tests/nullness/ImplementInterface.java

import org.checkerframework.checker.nullness.qual.*;

interface TestInterface {
  public char @Nullable [] getChars();
}

public class ImplementInterface implements TestInterface {
  @Override
  public char @Nullable [] getChars() {
    return null;
  }
}