mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-25 08:13:41 +00:00
Rollup merge of #104780 - BoxyUwU:error_reported_not_be_bad, r=oli-obk
make `error_reported` check for delayed bugs Fixes #104768 `error_reported()` was only checking if there were errors emitted, not for `delay_bug`s which can also be a source of `ErrorGuaranteed`. I assume the same is true of `lint_err_count` but i dont know
This commit is contained in:
commit
4843946a10
@ -1044,13 +1044,24 @@ impl Handler {
|
||||
}
|
||||
pub fn has_errors_or_lint_errors(&self) -> Option<ErrorGuaranteed> {
|
||||
if self.inner.borrow().has_errors_or_lint_errors() {
|
||||
Some(ErrorGuaranteed(()))
|
||||
Some(ErrorGuaranteed::unchecked_claim_error_was_emitted())
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
pub fn has_errors_or_delayed_span_bugs(&self) -> bool {
|
||||
self.inner.borrow().has_errors_or_delayed_span_bugs()
|
||||
pub fn has_errors_or_delayed_span_bugs(&self) -> Option<ErrorGuaranteed> {
|
||||
if self.inner.borrow().has_errors_or_delayed_span_bugs() {
|
||||
Some(ErrorGuaranteed::unchecked_claim_error_was_emitted())
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
pub fn is_compilation_going_to_fail(&self) -> Option<ErrorGuaranteed> {
|
||||
if self.inner.borrow().is_compilation_going_to_fail() {
|
||||
Some(ErrorGuaranteed::unchecked_claim_error_was_emitted())
|
||||
} else {
|
||||
None
|
||||
}
|
||||
}
|
||||
|
||||
pub fn print_error_count(&self, registry: &Registry) {
|
||||
@ -1484,6 +1495,10 @@ impl HandlerInner {
|
||||
self.err_count() > 0 || self.lint_err_count > 0 || self.warn_count > 0
|
||||
}
|
||||
|
||||
fn is_compilation_going_to_fail(&self) -> bool {
|
||||
self.has_errors() || self.lint_err_count > 0 || !self.delayed_span_bugs.is_empty()
|
||||
}
|
||||
|
||||
fn abort_if_errors(&mut self) {
|
||||
self.emit_stashed_diagnostics();
|
||||
|
||||
|
@ -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.
|
||||
|
||||
|
@ -28,7 +28,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.has_errors_or_delayed_span_bugs() {
|
||||
if let Some(_) = sess.has_errors_or_delayed_span_bugs() {
|
||||
return;
|
||||
}
|
||||
|
||||
@ -89,7 +89,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.has_errors_or_delayed_span_bugs() {
|
||||
if let Some(_) = sess.has_errors_or_delayed_span_bugs() {
|
||||
return;
|
||||
}
|
||||
|
||||
|
@ -97,10 +97,10 @@ pub trait TypeVisitable<'tcx>: fmt::Debug + Clone {
|
||||
}
|
||||
fn error_reported(&self) -> Result<(), ErrorGuaranteed> {
|
||||
if self.references_error() {
|
||||
if let Some(reported) = ty::tls::with(|tcx| tcx.sess.has_errors()) {
|
||||
if let Some(reported) = ty::tls::with(|tcx| tcx.sess.is_compilation_going_to_fail()) {
|
||||
Err(reported)
|
||||
} else {
|
||||
bug!("expect tcx.sess.has_errors return true");
|
||||
bug!("expect tcx.sess.is_compilation_going_to_fail return `Some`");
|
||||
}
|
||||
} else {
|
||||
Ok(())
|
||||
|
@ -667,7 +667,7 @@ impl<K: DepKind> DepGraph<K> {
|
||||
None => {}
|
||||
}
|
||||
|
||||
if !qcx.dep_context().sess().has_errors_or_delayed_span_bugs() {
|
||||
if let None = qcx.dep_context().sess().has_errors_or_delayed_span_bugs() {
|
||||
panic!("try_mark_previous_green() - Forcing the DepNode should have set its color")
|
||||
}
|
||||
|
||||
|
@ -538,9 +538,12 @@ impl Session {
|
||||
pub fn has_errors(&self) -> Option<ErrorGuaranteed> {
|
||||
self.diagnostic().has_errors()
|
||||
}
|
||||
pub fn has_errors_or_delayed_span_bugs(&self) -> bool {
|
||||
pub fn has_errors_or_delayed_span_bugs(&self) -> Option<ErrorGuaranteed> {
|
||||
self.diagnostic().has_errors_or_delayed_span_bugs()
|
||||
}
|
||||
pub fn is_compilation_going_to_fail(&self) -> Option<ErrorGuaranteed> {
|
||||
self.diagnostic().is_compilation_going_to_fail()
|
||||
}
|
||||
pub fn abort_if_errors(&self) {
|
||||
self.diagnostic().abort_if_errors();
|
||||
}
|
||||
|
4
src/test/ui/consts/issue-104768.rs
Normal file
4
src/test/ui/consts/issue-104768.rs
Normal file
@ -0,0 +1,4 @@
|
||||
const A: &_ = 0_u32;
|
||||
//~^ ERROR: the placeholder `_` is not allowed within types on item signatures for constants
|
||||
|
||||
fn main() {}
|
12
src/test/ui/consts/issue-104768.stderr
Normal file
12
src/test/ui/consts/issue-104768.stderr
Normal file
@ -0,0 +1,12 @@
|
||||
error[E0121]: the placeholder `_` is not allowed within types on item signatures for constants
|
||||
--> $DIR/issue-104768.rs:1:10
|
||||
|
|
||||
LL | const A: &_ = 0_u32;
|
||||
| ^^
|
||||
| |
|
||||
| not allowed in type signatures
|
||||
| help: replace with the correct type: `u32`
|
||||
|
||||
error: aborting due to previous error
|
||||
|
||||
For more information about this error, try `rustc --explain E0121`.
|
Loading…
Reference in New Issue
Block a user