{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"allow_transmute:"}]}
        allow_transmute: bool,
        dest: &impl Writeable<'tcx, M::Provenance>,
    ) -> InterpResult<'tcx> {