{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"///"}]}
    /// with a different `Provenance` and `Byte` type.
    /// Adjust allocation from the ones in `tcx` to a custom Machine instance
    pub fn adjust_from_tcx<'tcx, Prov: Provenance, Bytes: AllocBytes>(