Почему спецификатор «static» генерирует внешнее определение для встроенной функции?

В стандарте C99 для встроенного спецификатора (6.7.4, параграф 6) говорится:

«Если все объявления области файла для функции в переводе unit включает встроенный спецификатор функции без extern, тогда определение в этой единице перевода является строковым определение. Встроенное определение не предоставляет внешнего определение функции и не запрещает внешнее определение в другой единице перевода"

Однако когда я компилирую следующий код в godbolt:

static inline int foo(int a) {
    a = 1;
    return a; }


int main(void){
    return foo(-1);
}

, результат включает внешнее определение (должно быть с внутренней связью):

foo:  ; an external definition with internal linkage
        push    rbp
        mov     rbp, rsp
        mov     DWORD PTR [rbp-4], edi
        mov     DWORD PTR [rbp-4], 1
        mov     eax, DWORD PTR [rbp-4]
        pop     rbp
        ret
main:
        push    rbp
        mov     rbp, rsp
        mov     edi, -1
        call    foo
        pop     rbp
        ret

Я думаю, что определение функции foo() в исходном коде является встроенным определением, и поэтому результат сборки не должен содержать определение, как когда мы объявляем его с помощью необработанного встроенного кода, но кажется, что нет, почему?
Обратите внимание: если мы скомпилируем следующий код в godbolt:

inline int foo(int a) {
    a = 1;
    return a; }


int main(void){
    return foo(-1);
}

Результатом будет:

; Here foo() is omitted because inline definition
main:
        push    rbp
        mov     rbp, rsp
        mov     edi, -1
        call    foo
        pop     rbp
        ret

Почему foo появляется в первом, но не появляется во втором, когда все определения foo являются встроенными определениями?

Я много искал в Google, и есть много вопросов о статических встроенных функциях, но ни один из них не относится к описанному выше поведению.