{"ast_node_type":"other","tokens":[{"end":88,"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().is_some() {