Assertion: address | /r/HasProperty | performed
Facets:
Source sentences:
text: To preserve safety and efficient implementations, references cannot be type-cast in ML, nor can pointer arithmetic be performed.