{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"///"}]}
/// Encodes extra information we have about a pointer.
/// Note that this information is advisory only, and backends are free to ignore it: