{"ast_node_type":"import","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// this machine use the same pointer provenance, so it is indirected through
    /// one can be found in `tcx`. That, however, is only possible if `tcx` and
    /// `M::adjust_allocation`.