{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
        // This is going to be deleted in finalize_session_directory, so let's not create it.
        }
        if sess.dcx().has_errors_or_delayed_bugs().is_some() {