Adjust the has_errors*
methods.
Currently `has_errors` excludes lint errors. This commit changes it to include lint errors. The motivation for this is that for most places it doesn't matter whether lint errors are included or not. But there are multiple places where they must be includes, and only one place where they must not be included. So it makes sense for `has_errors` to do the thing that fits the most situations, and the new `has_errors_excluding_lint_errors` method in the one exceptional place. The same change is made for `err_count`. Annoyingly, this requires the introduction of `err_count_excluding_lint_errs` for one place, to preserve existing error printing behaviour. But I still think the change is worthwhile overall.
This commit is contained in:
parent
9919c3dab3
commit
46f4983356
10 changed files with 41 additions and 35 deletions
|
@ -312,7 +312,7 @@ pub fn finalize_session_directory(sess: &Session, svh: Option<Svh>) {
|
|||
|
||||
let incr_comp_session_dir: PathBuf = sess.incr_comp_session_dir().clone();
|
||||
|
||||
if sess.dcx().has_errors_or_lint_errors_or_delayed_bugs().is_some() {
|
||||
if sess.dcx().has_errors_or_delayed_bugs().is_some() {
|
||||
// If there have been any errors during compilation, we don't want to
|
||||
// publish this session directory. Rather, we'll just delete it.
|
||||
|
||||
|
|
|
@ -32,7 +32,7 @@ pub fn save_dep_graph(tcx: TyCtxt<'_>) {
|
|||
return;
|
||||
}
|
||||
// This is going to be deleted in finalize_session_directory, so let's not create it.
|
||||
if sess.dcx().has_errors_or_lint_errors_or_delayed_bugs().is_some() {
|
||||
if sess.dcx().has_errors_or_delayed_bugs().is_some() {
|
||||
return;
|
||||
}
|
||||
|
||||
|
@ -87,7 +87,7 @@ pub fn save_work_product_index(
|
|||
return;
|
||||
}
|
||||
// This is going to be deleted in finalize_session_directory, so let's not create it
|
||||
if sess.dcx().has_errors_or_lint_errors().is_some() {
|
||||
if sess.dcx().has_errors().is_some() {
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue