Renames lint to redundant-sizedness-bound

- Changes name from needless-maybe-sized to redundant-sizedness-bound to
  reflect extended functionality.

Author: CrooseGit

compiler/rustc_lint/src/lib.rs

@@ -60,7 +60,6 @@ mod lints;
 mod macro_expr_fragment_specifier_2024_migration;
 mod map_unit_fn;
 mod multiple_supertrait_upcastable;
-mod needless_maybe_sized;
 mod non_ascii_idents;
 mod non_fmt_panic;
 mod non_local_def;
@@ -72,6 +71,7 @@ mod passes;
 mod precedence;
 mod ptr_nulls;
 mod redundant_semicolon;
+mod redundant_sizedness_bound;
 mod reference_casting;
 mod shadowed_into_iter;
 mod static_mut_refs;
@@ -102,7 +102,6 @@ use lifetime_syntax::*;
 use macro_expr_fragment_specifier_2024_migration::*;
 use map_unit_fn::*;
 use multiple_supertrait_upcastable::*;
-use needless_maybe_sized::NeedlessMaybeSized;
 use non_ascii_idents::*;
 use non_fmt_panic::NonPanicFmt;
 use non_local_def::*;
@@ -113,6 +112,7 @@ use pass_by_value::*;
 use precedence::*;
 use ptr_nulls::*;
 use redundant_semicolon::*;
+use redundant_sizedness_bound::RedundantSizednessBound;
 use reference_casting::*;
 use rustc_hir::def_id::LocalModDefId;
 use rustc_middle::query::Providers;
@@ -249,7 +249,7 @@ late_lint_methods!(
             UnqualifiedLocalImports: UnqualifiedLocalImports,
             CheckTransmutes: CheckTransmutes,
             LifetimeSyntax: LifetimeSyntax,
-            NeedlessMaybeSized: NeedlessMaybeSized,
+            RedundantSizednessBound: RedundantSizednessBound,
         ]
     ]
 );

compiler/rustc_lint/src/needless_maybe_sized.rs renamed to compiler/rustc_lint/src/redundant_sizedness_bound.rs

@@ -10,7 +10,7 @@ use rustc_span::symbol::Ident;
 use crate::{LateContext, LateLintPass, LintContext};
 
 declare_lint! {
-    /// The `needless_maybe_sized` lint detects `?Sized` bounds applied to type parameters that cannot be unsized.
+    /// The `redundant_sizedness_bound` lint detects `?Sized` bounds applied to type parameters that cannot be unsized.
     ///
     /// ### Example
     ///
@@ -25,11 +25,11 @@ declare_lint! {
     ///
     /// The `?Sized` bound is misleading because it cannot be satisfied by an
     /// unsized type. This lint notifies the user of said redundant bound.
-    pub NEEDLESS_MAYBE_SIZED,
+    pub REDUNDANT_SIZEDNESS_BOUND,
     Warn,
     "a `?Sized` bound that is unusable due to a `Sized` requirement"
 }
-declare_lint_pass!(NeedlessMaybeSized => [NEEDLESS_MAYBE_SIZED]);
+declare_lint_pass!(RedundantSizednessBound => [REDUNDANT_SIZEDNESS_BOUND]);
 
 struct Bound<'tcx> {
     /// The [`DefId`] of the type parameter the bound refers to
@@ -104,7 +104,7 @@ fn path_to_sized_bound(cx: &LateContext<'_>, trait_bound: &PolyTraitRef<'_>) ->
     search(cx, &mut path).then_some(path)
 }
 
-impl LateLintPass<'_> for NeedlessMaybeSized {
+impl LateLintPass<'_> for RedundantSizednessBound {
     fn check_generics(&mut self, cx: &LateContext<'_>, generics: &Generics<'_>) {
         let Some(sized_trait) = cx.tcx.lang_items().sized_trait() else {
             return;
@@ -123,7 +123,7 @@ impl LateLintPass<'_> for NeedlessMaybeSized {
                 && let Some(sized_bound) = maybe_sized_params.get(&bound.param)
                 && let Some(path) = path_to_sized_bound(cx, bound.trait_bound)
             {
-                cx.span_lint(NEEDLESS_MAYBE_SIZED, sized_bound.trait_bound.span, |diag| {
+                cx.span_lint(REDUNDANT_SIZEDNESS_BOUND, sized_bound.trait_bound.span, |diag| {
                     diag.primary_message(
                         "`?Sized` bound is ignored because of a `Sized` requirement",
                     );

tests/ui/lint/lint-needless-maybe-sized.rs renamed to tests/ui/lint/lint-redundant-sizedness-bound.rs

@@ -1,36 +1,36 @@
-#![deny(needless_maybe_sized)]
+#![deny(redundant_sizedness_bound)]
 
 fn directly<T: Sized + ?Sized>(t: &T) {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 trait A: Sized {}
 trait B: A {}
 
 fn depth_1<T: A + ?Sized>(t: &T) {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 fn depth_2<T: B + ?Sized>(t: &T) {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 // We only need to show one
 fn multiple_paths<T: A + B + ?Sized>(t: &T) {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 fn in_where<T>(t: &T)
 where
     T: Sized + ?Sized,
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 {
 }
 
 fn mixed_1<T: Sized>(t: &T)
 where
     T: ?Sized,
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 {
 }
 
 fn mixed_2<T: ?Sized>(t: &T)
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 where
     T: Sized,
 {
@@ -40,50 +40,50 @@ fn mixed_3<T>(t: &T)
 where
     T: Sized,
     T: ?Sized,
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 {
 }
 
 struct Struct<T: Sized + ?Sized>(T);
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 impl<T: Sized + ?Sized> Struct<T> {
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
     fn method<U: Sized + ?Sized>(&self) {}
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 }
 
 enum Enum<T: Sized + ?Sized + 'static> {
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
     Variant(&'static T),
 }
 
 union Union<'a, T: Sized + ?Sized> {
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
     a: &'a T,
 }
 
 trait Trait<T: Sized + ?Sized> {
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
     fn trait_method<U: Sized + ?Sized>() {}
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 
     type GAT<U: Sized + ?Sized>;
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 
     type Assoc: Sized + ?Sized; // False negative
 }
 
 trait SecondInTrait: Send + Sized {}
 fn second_in_trait<T: ?Sized + SecondInTrait>() {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 fn impl_trait(_: &(impl Sized + ?Sized)) {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 trait GenericTrait<T>: Sized {}
 fn in_generic_trait<T: GenericTrait<U> + ?Sized, U>() {}
-//~^ ERROR needless_maybe_sized
+//~^ ERROR redundant_sizedness_bound
 
 mod larger_graph {
     // C1  C2  Sized
@@ -99,7 +99,7 @@ mod larger_graph {
     trait A1: B1 + B2 {}
 
     fn larger_graph<T: A1 + ?Sized>() {}
-    //~^ ERROR needless_maybe_sized
+    //~^ ERROR redundant_sizedness_bound
 }
 
 // Should not lint