{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"self.tcx.sess.miri_unleashed_feature(span,"}]}
            self.tcx.sess.miri_unleashed_feature(span, gate);
        if self.tcx.sess.opts.unstable_opts.unleash_the_miri_inside_of_you {
            return;