Is shadowing of functions in the same namespace intended?

[jaehyun1ee]

As far as I understand about p4c, p4c generally disallows variable and function shadowing within the same namespace as in the spirit of C/C++. (i.e., it disallows duplicate declarations)

However, issue3699.p4 is accepted by the p4c frontend as valid.

void f1(in h[(max |+| max) == max ? 1 : -1] a){}
void f1(in h[(max |+| 0) == max ? 1 : -1] a){}
void f1(in h[value1 == max ? 1 : -1] a){}

It is a bit odd because, first, function f1 is not overloaded. The three declarations have identical parameter arity and parameter names, so they are identical function declarations modulo overloading.

Second, while this is allowed, duplicate declaration of variables or actions are disallowed by p4c. e.g.,

const bit<32> c = 1;
const bit<32> c = 1; // rejected

action a() {}
action a() {} // rejected

Is this behavior, of allowing duplicate declaration of functions intended in p4c?