{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
/// The "validity invariant" of places is the same as that of raw pointers, meaning that e.g.
///
/// `*ptr` on a dangling or unaligned pointer is never UB. (Later doing a load/store on that place