{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"sess.mir_opt_level()"}]}
        sess.mir_opt_level() > 0 && sess.opts.unstable_opts.unsound_mir_opts
        // unsound: #111005
    }