无限循环 Vs.溢出的循环？

问：

我正在学习 Java 中的有符号类型与无符号类型，遇到了一个让我感到困惑的棘手示例问题：

Is the following code an infinite loop? Why or why not?

for(long x = 0; x != -1; x++) {
    System.out.println("Hello world!)";
}

乍一看，它显然是无限的，但是由于 long 是一种有符号类型，我认为它会溢出并最终达到 -1 是否正确？然后循环会结束吗？

问题是我无法真正测试它，因为它太大了。