Например:

int anInt = null;

не удается во время компиляции, но

public static void main(String[] args) {
  for (int i = 0; i < 10; i++) {
    System.out.println("" + getSomeVal());
  }
}
public static int getSomeVal() {
   return new Random().nextBoolean() ? 1 : null;
}

не удается (обычно) во время выполнения. Пытаясь вернуть простоnull также приведет к ошибке компиляции, поэтому я предполагаю, что есть что-то о наличии нескольких путей, что заставляет компилятор сделать вывод, чтоnull потенциально является автоматической коробкойint? Почему javac не может скомпилировать оба случая с одной и той же ошибкой?