Feedback

Author: saethlin

compiler/rustc_mir_transform/src/panic_entrypoints.rs

@@ -1,3 +1,7 @@
+//! This pass implements a part of the MIR semantics: when invoking a function with the
+//! `#[rustc_panic_entrypoint]` attribute, if the current panic strategy is immediate-abort,
+//! instead of executing the function body we just abort the program.
+
 use rustc_hir::LangItem;
 use rustc_middle::mir::{Const, ConstValue, UnwindAction, *};
 use rustc_middle::ty::{self, InstanceKind, Ty, TyCtxt};

src/tools/miri/tests/fail/immediate-abort.rs

@@ -11,24 +11,12 @@
 #![allow(internal_features)]
 
 #[lang = "pointee_sized"]
-#[diagnostic::on_unimplemented(
-    message = "values of type `{Self}` may or may not have a size",
-    label = "may or may not have a known size"
-)]
 pub trait PointeeSized {}
 
 #[lang = "meta_sized"]
-#[diagnostic::on_unimplemented(
-    message = "the size for values of type `{Self}` cannot be known",
-    label = "doesn't have a known size"
-)]
 pub trait MetaSized: PointeeSized {}
 
 #[lang = "sized"]
-#[diagnostic::on_unimplemented(
-    message = "the size for values of type `{Self}` cannot be known at compilation time",
-    label = "doesn't have a size known at compile-time"
-)]
 pub trait Sized: MetaSized {}
 
 #[rustc_nounwind]