{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
/// delete the presumably invalid session directory.
/// If there have been compilation errors, however, this function will just
pub fn finalize_session_directory(sess: &Session, svh: Option<Svh>) {