missing type checking

[thradams]

For the sample

void f(int * p){}
int main(){
    void (*p)(const int * p) = f;
}

cake should say.

error: initialization of 'void (*)(const int )' from incompatible pointer type 'void ()(int *)' [-Wincompatible-pointer-types]
4 | void (*p)(const int * p) = f;
| ^

Also

void f(double * p){}
int main(){
    void (*p)(int * p) = f;
}

So it seams type check is missing in this case.