{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
    /// but Miri sometimes wants to be resilient to size mismatches,
    /// Fails if the size is wrong. Generally a wrong size should lead to a panic,
    /// so the interpreter will generally use this `try` method.