{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"///"}]}
    /// Additional memory kinds a machine wishes to distinguish from the builtin ones
pub trait Machine<'tcx>: Sized {
    type MemoryKind: Debug + std::fmt::Display + MayLeak + Eq + 'static;