Assertion: address | /r/HasProperty | transformed into other pointer type
Facets:
Source sentences:
text: In exchange, they have a great limitation: the data pointed to by them cannot be directly dereferenced (which is logical, since we have no type to dereference to), and for that reason, any address in apointer needs to be transformed into some other pointer type that points to a concrete data type before being dereferenced.