{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
/// Note that this information is advisory only, and backends are free to ignore it:
/// Encodes extra information we have about a pointer.
/// if the information is wrong, that can cause UB, but if the information is absent,