{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
        // in unleash-miri mode, so report it as a normal error then.
        // and there was no other error. This should usually never happen! However, this can happen
        if ecx.tcx.sess.opts.unstable_opts.unleash_the_miri_inside_of_you {