A mistake in the Arduino API style guide (I think)

Community Website and Forum
1

In the guide at https://www.arduino.cc/en/Reference/APIStyleGuide I am pretty sure that the guide on keeping pointers away from users is incorrect (although maybe I am being stupid!).

void printArray( char* array);

can be replaced by
void printArray(char[] array);

should read

void printArray( char* array);
can be replaced by
void printArray(char array[]);

The former will not correctly compile, no?

2

The former will not correctly compile, no?

In C# it will.

3

Good point - allow me to clarify - within the Arduino IDE, the former will not correctly compile, no?