afterPure.java

// "Remove variable 'i'" "true"
import org.jetbrains.annotations.Contract;

class a {
    private void run() {
    }

  @Contract(pure = true)
  private Object dodo() {
    return null;
  }
}