为什么即使事后没有修改，Java中的局部变量也不被视为“有效的最终变量”？

在一种方法中，我有这个：

int x = 0
if (isA()) {
    x = 1;
} else if (isB()) {
    x = 2;
}

if (x != 0) {
    doLater(() -> showErrorMessage(x)); // compile error here
}

// no more reference to 'x' here

我不明白为什么会产生编译错误。该错误表明x它不是最终的，也不是有效的最终确定的，因此无法从lambda主体进行访问。调用x后没有对的修改doLater，因此x实际上在doLater调用时已确定的值。

我猜这个问题的答案是因为x没有资格被称为有效最终变量。但是，我想知道原因是什么。

编译器不能只是创建一个临时的最终变量，从而使代码像这样：

if (x != 0) {
    final int final_x = x;
    doLater(() -> showErrorMessage(final_x));
}

一切仍然一样吗？