Assertion: expression's reference | /r/HasProperty | given as reference
Facets:
Source sentences:
text: If the variable reference given as a reference or output parameter is an array element of a reference_type, a run-time check is performed to ensure that the element type of the array is identical to the type of the parameter.