Assertion: function's parameter | /r/HasProperty | changed into pointer
Facets:
Source sentences:
text: Unlike an array changing into a pointer, the parameter is not a PLAIN array that can be changed into a pointer, but rather a reference to array with 4 int s.