{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"result"}]}
            result = Err(InternError::BadMutablePointer);
        if ecx.tcx.sess.opts.unstable_opts.unleash_the_miri_inside_of_you {
        } else {