Removes dead code from the compiler

mu001999 · mu001999 · commit e7f11b6913eb · 2024-08-25T13:41:39.000+08:00
diff --git a/compiler/rustc_incremental/messages.ftl b/compiler/rustc_incremental/messages.ftl
@@ -99,6 +99,4 @@ incremental_unrecognized_depnode = unrecognized `DepNode` variant: {$name}
 
 incremental_unrecognized_depnode_label = dep-node label `{$label}` not recognized
 
-incremental_write_dep_graph = failed to write dependency graph to `{$path}`: {$err}
-
 incremental_write_new = failed to write {$name} to `{$path}`: {$err}
diff --git a/compiler/rustc_incremental/src/errors.rs b/compiler/rustc_incremental/src/errors.rs
@@ -272,13 +272,6 @@ pub struct LoadDepGraph {
     pub err: std::io::Error,
 }
 
-#[derive(Diagnostic)]
-#[diag(incremental_write_dep_graph)]
-pub struct WriteDepGraph<'a> {
-    pub path: &'a Path,
-    pub err: std::io::Error,
-}
-
 #[derive(Diagnostic)]
 #[diag(incremental_move_dep_graph)]
 pub struct MoveDepGraph<'a> {
diff --git a/compiler/rustc_passes/messages.ftl b/compiler/rustc_passes/messages.ftl
@@ -481,10 +481,6 @@ passes_must_not_suspend =
     `must_not_suspend` attribute should be applied to a struct, enum, union, or trait
     .label = is not a struct, enum, union, or trait
 
-passes_must_use_async =
-    `must_use` attribute on `async` functions applies to the anonymous `Future` returned by the function, not the value within
-    .label = this attribute does nothing, the `Future`s returned by async functions are already `must_use`
-
 passes_must_use_no_effect =
     `#[must_use]` has no effect when applied to {$article} {$target}
 
diff --git a/compiler/rustc_passes/src/errors.rs b/compiler/rustc_passes/src/errors.rs
@@ -371,13 +371,6 @@ pub struct FfiConstInvalidTarget {
     pub attr_span: Span,
 }
 
-#[derive(LintDiagnostic)]
-#[diag(passes_must_use_async)]
-pub struct MustUseAsync {
-    #[label]
-    pub span: Span,
-}
-
 #[derive(LintDiagnostic)]
 #[diag(passes_must_use_no_effect)]
 pub struct MustUseNoEffect {
diff --git a/compiler/rustc_transmute/src/maybe_transmutable/query_context.rs b/compiler/rustc_transmute/src/maybe_transmutable/query_context.rs
@@ -4,7 +4,6 @@ use crate::layout;
 pub(crate) trait QueryContext {
     type Def: layout::Def;
     type Ref: layout::Ref;
-    type Scope: Copy;
 }
 
 #[cfg(test)]
@@ -28,20 +27,17 @@ pub(crate) mod test {
     impl QueryContext for UltraMinimal {
         type Def = Def;
         type Ref = !;
-        type Scope = ();
     }
 }
 
 #[cfg(feature = "rustc")]
 mod rustc {
-    use rustc_middle::ty::{Ty, TyCtxt};
+    use rustc_middle::ty::TyCtxt;
 
     use super::*;
 
     impl<'tcx> super::QueryContext for TyCtxt<'tcx> {
         type Def = layout::rustc::Def<'tcx>;
         type Ref = layout::rustc::Ref<'tcx>;
-
-        type Scope = Ty<'tcx>;
     }
 }
diff --git a/library/alloc/tests/boxed.rs b/library/alloc/tests/boxed.rs
@@ -59,6 +59,7 @@ fn box_deref_lval() {
     assert_eq!(x.get(), 1000);
 }
 
+#[allow(unused)]
 pub struct ConstAllocator;
 
 unsafe impl Allocator for ConstAllocator {

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,6 @@ use crate::layout;`
`4`	`4`	`pub(crate) trait QueryContext {`
`5`	`5`	`type Def: layout::Def;`
`6`	`6`	`type Ref: layout::Ref;`
`7`		`- type Scope: Copy;`
`8`	`7`	`}`
`9`	`8`
`10`	`9`	`#[cfg(test)]`
`@@ -28,20 +27,17 @@ pub(crate) mod test {`
`28`	`27`	`impl QueryContext for UltraMinimal {`
`29`	`28`	`type Def = Def;`
`30`	`29`	`type Ref = !;`
`31`		`- type Scope = ();`
`32`	`30`	`}`
`33`	`31`	`}`
`34`	`32`
`35`	`33`	`#[cfg(feature = "rustc")]`
`36`	`34`	`mod rustc {`
`37`		`- use rustc_middle::ty::{Ty, TyCtxt};`
	`35`	`+ use rustc_middle::ty::TyCtxt;`
`38`	`36`
`39`	`37`	`use super::*;`
`40`	`38`
`41`	`39`	`impl<'tcx> super::QueryContext for TyCtxt<'tcx> {`
`42`	`40`	`type Def = layout::rustc::Def<'tcx>;`
`43`	`41`	`type Ref = layout::rustc::Ref<'tcx>;`
`44`		`-`
`45`		`- type Scope = Ty<'tcx>;`
`46`	`42`	`}`
`47`	`43`	`}`
Original file line number	Diff line number	Diff line change
`@@ -59,6 +59,7 @@ fn box_deref_lval() {`
`59`	`59`	`assert_eq!(x.get(), 1000);`
`60`	`60`	`}`
`61`	`61`
	`62`	`+#[allow(unused)]`
`62`	`63`	`pub struct ConstAllocator;`
`63`	`64`
`64`	`65`	`unsafe impl Allocator for ConstAllocator {`