{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// Call this to turn untagged "global" pointers (obtained via `tcx`) into
impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
    /// the machine pointer to the allocation. Must never be used