Missing return statement in conditional for loop

In PHP, the for loop is a common iteration structure used to repeatedly execute a piece of code. However, sometimes we may forget to add a return statement in a conditional for loop, which will cause the program to fail to return results normally. In this case, PHP editor Yuzai recommends checking the code in time to ensure that appropriate return statements are added to the loop to avoid unexpected errors. This can ensure the reliability and correctness of the code and improve the efficiency and maintainability of the program.

Question content

I noticed that when I write the following code, the compiler generates missing return statements error:

// Similar loops make sense in retry patterns
// but this is just a simple example
func TestMethod() int {
    for i := 0; i < 10; i++ {
        return 0
    }
}

This is when the following compiles without any errors:

func TestMethod() int {
    for {
        return 0
    }
}

The first code is logically and technically fine because it is impossible for the method to fail to return. Is there any reason why the compiler shows this error? Or is it some kind of missing logic or bug?

Workaround

Expanding on @Cerise Limón's comment into an answer, the assertion "the first code... is technically fine" is false.

The Go language specification says this:

andand this:

(emphasis added by me)

Inspecting the code in the first function, we can see that these conditions of the specification are not met:

func TestMethod() int {
    for i:= 0; i < 10; i++ {
        return 0
    }
}

The function has a result parameter (int return value), so it must end with a terminating statement, but the final statement of the function is a for statement with a condition, that is, is not a "termination statement" as defined by the specification.

func TestMethod() int {
    for {
        return 0
    }
}

func foo() int {
    for {
        if false {
            break
        }
        return 0
    }
    // <-- error: missing return
}