make error_reported check for delayed bugs

This commit is contained in:
Boxy
2022-11-24 11:12:34 +00:00
parent 4e0d0d757e
commit 72d8879c29
8 changed files with 44 additions and 10 deletions

View File

@@ -322,7 +322,7 @@ pub fn finalize_session_directory(sess: &Session, svh: Svh) {
let incr_comp_session_dir: PathBuf = sess.incr_comp_session_dir().clone();
if sess.has_errors_or_delayed_span_bugs() {
if let Some(_) = sess.has_errors_or_delayed_span_bugs() {
// If there have been any errors during compilation, we don't want to
// publish this session directory. Rather, we'll just delete it.