{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// Fails if the size is wrong. Generally a wrong size should lead to a panic,
    /// Try to convert this ScalarInt to the raw underlying bits.
    /// but Miri sometimes wants to be resilient to size mismatches,