C의 함수 파라메터로 '함수'(함수 포인터가 아니라)가 선언된 경우

안녕하세요,

#include <stdio.h>
 
// typedef void ptr(int);
 
void foo(int n) {
    printf("foo:%d\n", n);
}
 
void bar(int n) {
    printf("bar:%d\n", n);
}
 
void sub(void p(int), int n) {    // 여기 있는 p가
    p(n);       // 실행도 잘 되고
    p = bar;    // 할당도 잘 됨
    p(n);
}
 
int main(void)
{
    void pm(int);
//    pm = foo;       // 이건 "invalid lvalue in assignment" error
    sub(foo, 123);
}

sub()함수의 첫번째 인자가... 원래는 void (*p)(int) 라고 했을 텐데,
이걸 그냥 저렇게 마치 함수 원형 선언하듯 적어 봤습니다. 그런데 컴파일 및 실행에 전혀 문제가
없더군요.

반면에 main 함수 내에서 똑같은 타입(?)으로 선언한 pm의 경우는, "invalid lvalue in assignment" 에러가 납니다.
(혹시나 해서 sub 함수 내에서 동일하게 해봐도 동일한 에러가 납니다)

제가 추측하건데,
함수의 매개변수 리스트에 쓰였을 때에 한해서 int arr[] 이런 매개변수가 int *arr 이렇게 포인터로 처리되는 것처럼
void p(int) 이런 매개변수 역시 void (*p)(int) 이렇게 포인터로 자동으로 바뀌어 처리되는 게 아닌가...인데요,

이걸 구글링하려 해도 일반적인 함수 포인터를 파라메터로 쓰는 얘기만 검색되고... 정확히 언급한 것을 못 찾겠습니다.

가르침 부탁드리겠습니다, 감사합니다.