¿Por qué es una declaración externa implícita inválida si hay una declaración estática previa?

Considere el siguiente programa de ejemplo:

#include <stdio.h>

static int n = 123;
extern int n;

int main(void){ printf("n is %d\n",n); return 0; }

Se compila correctamente con gcc -std=c99 -pedantic myprog.c. La variable n tiene un enlace estático según C99 § 6.2.2 Linkages of identifiers, parte 4:

Para un identificador declarado con el especificador de clase de almacenamiento extern en un ámbito en el que una declaración previa de ese identificador es visible, si la declaración previa especifica un enlace interno o externo, el enlace del identificador en la declaración posterior es el mismo que el enlace especificado en la declaración previa. Si no hay declaración anterior visible, o si la declaración anterior no especifica enlace, entonces el identificador tiene un enlace externo.

Ahora elimina extern:

#include <stdio.h>

static int n = 123;
int n;

int main(void){ printf("n is %d\n",n); return 0; }

Este programa no se compila. GCC da este error:

myprog.c:4:5: error: non-static declaration of 'n' follows static declaration
    4 | int n;
      |     ^
myprog.c:3:12: note: previous definition of 'n' was here
    3 | static int n = 123;
      |

¿Por qué ocurre este error? Pensaba que int n; en el segundo programa debería ser equivalente a extern int n;. Del estándar C99, § 6.2.2 Linkages of identifiers, parte 5:

Si la declaración de un identificador para un objeto tiene un ámbito de archivo y ningún especificador de clase de almacenamiento, su enlace es externo.</stdio.h></stdio.h>