Assertion: address | /r/HasProperty | typesafe
Facets:
Source sentences:
text: These references have types like C pointers indicating how to interpret the data they reference, but they are typesafe in that they cannot be interpreted as a raw address and unsafe conversions are not permitted.