Add and bless tests

mu001999 · web-flow · commit 23de05ac0785 · 2025-03-18T03:08:03.000Z
diff --git a/tests/ui/associated-type-bounds/union-bounds.rs b/tests/ui/associated-type-bounds/union-bounds.rs
@@ -4,7 +4,7 @@
 
 trait Tr1: Copy { type As1: Copy; }
 trait Tr2: Copy { type As2: Copy; }
-trait Tr3: Copy { type As3: Copy; }
+trait Tr3: Copy { #[allow(dead_code)] type As3: Copy; }
 trait Tr4<'a>: Copy { type As4: Copy; }
 trait Tr5: Copy { type As5: Copy; }
 
diff --git a/tests/ui/associated-types/impl-wf-cycle-5.fixed b/tests/ui/associated-types/impl-wf-cycle-5.fixed
@@ -11,6 +11,7 @@ impl Fiz for bool {}
 
 trait Grault {
     type A;
+    #[allow(dead_code)]
     type B;
 }
 
diff --git a/tests/ui/associated-types/impl-wf-cycle-5.rs b/tests/ui/associated-types/impl-wf-cycle-5.rs
@@ -11,6 +11,7 @@ impl Fiz for bool {}
 
 trait Grault {
     type A;
+    #[allow(dead_code)]
     type B;
 }
 
diff --git a/tests/ui/associated-types/impl-wf-cycle-5.stderr b/tests/ui/associated-types/impl-wf-cycle-5.stderr
@@ -1,5 +1,5 @@
 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
-  --> $DIR/impl-wf-cycle-5.rs:22:1
+  --> $DIR/impl-wf-cycle-5.rs:23:1
    |
 LL | / impl<T> Grault for (T,)
 LL | |
@@ -12,7 +12,7 @@ LL |       type A = ();
    |       ------ associated type `<(T,) as Grault>::A` is specified here
    |
 note: required for `(T,)` to implement `Grault`
-  --> $DIR/impl-wf-cycle-5.rs:22:9
+  --> $DIR/impl-wf-cycle-5.rs:23:9
    |
 LL | impl<T> Grault for (T,)
    |         ^^^^^^     ^^^^
diff --git a/tests/ui/associated-types/impl-wf-cycle-6.fixed b/tests/ui/associated-types/impl-wf-cycle-6.fixed
@@ -11,6 +11,7 @@ impl Fiz for bool {}
 
 trait Grault {
     type A;
+    #[allow(dead_code)]
     type B;
 }
 
diff --git a/tests/ui/associated-types/impl-wf-cycle-6.rs b/tests/ui/associated-types/impl-wf-cycle-6.rs
@@ -11,6 +11,7 @@ impl Fiz for bool {}
 
 trait Grault {
     type A;
+    #[allow(dead_code)]
     type B;
 }
 
diff --git a/tests/ui/associated-types/impl-wf-cycle-6.stderr b/tests/ui/associated-types/impl-wf-cycle-6.stderr
@@ -1,5 +1,5 @@
 error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
-  --> $DIR/impl-wf-cycle-6.rs:22:1
+  --> $DIR/impl-wf-cycle-6.rs:23:1
    |
 LL | / impl<T: Grault> Grault for (T,)
 LL | |
@@ -11,7 +11,7 @@ LL |       type A = ();
    |       ------ associated type `<(T,) as Grault>::A` is specified here
    |
 note: required for `(T,)` to implement `Grault`
-  --> $DIR/impl-wf-cycle-6.rs:22:17
+  --> $DIR/impl-wf-cycle-6.rs:23:17
    |
 LL | impl<T: Grault> Grault for (T,)
    |                 ^^^^^^     ^^^^
diff --git a/tests/ui/const-generics/cross_crate_complex.rs b/tests/ui/const-generics/cross_crate_complex.rs
@@ -11,7 +11,7 @@ async fn foo() {
     async_in_foo(async_out_foo::<4>().await).await;
 }
 
-struct Faz<const N: usize>;
+struct Faz<const N: usize>; //~ WARN struct `Faz` is never constructed
 
 impl<const N: usize> Foo<N> for Faz<N> {}
 impl<const N: usize> Bar<N> for Faz<N> {
diff --git a/tests/ui/const-generics/cross_crate_complex.stderr b/tests/ui/const-generics/cross_crate_complex.stderr
@@ -0,0 +1,10 @@
+warning: struct `Faz` is never constructed
+  --> $DIR/cross_crate_complex.rs:14:8
+   |
+LL | struct Faz<const N: usize>;
+   |        ^^^
+   |
+   = note: `#[warn(dead_code)]` on by default
+
+warning: 1 warning emitted
+
diff --git a/tests/ui/const-generics/issues/issue-86535-2.rs b/tests/ui/const-generics/issues/issue-86535-2.rs
@@ -9,7 +9,7 @@ pub trait Foo {
         [(); Self::ASSOC_C]:;
 }
 
-struct Bar<const N: &'static ()>;
+struct Bar<const N: &'static ()>; //~ WARN struct `Bar` is never constructed
 impl<const N: &'static ()> Foo for Bar<N> {
     const ASSOC_C: usize = 3;
 
diff --git a/tests/ui/const-generics/issues/issue-86535-2.stderr b/tests/ui/const-generics/issues/issue-86535-2.stderr
@@ -0,0 +1,10 @@
+warning: struct `Bar` is never constructed
+  --> $DIR/issue-86535-2.rs:12:8
+   |
+LL | struct Bar<const N: &'static ()>;
+   |        ^^^
+   |
+   = note: `#[warn(dead_code)]` on by default
+
+warning: 1 warning emitted
+
diff --git a/tests/ui/const-generics/issues/issue-86535.rs b/tests/ui/const-generics/issues/issue-86535.rs
@@ -2,7 +2,7 @@
 #![feature(adt_const_params, unsized_const_params, generic_const_exprs)]
 #![allow(incomplete_features, unused_variables)]
 
-struct F<const S: &'static str>;
+struct F<const S: &'static str>; //~ WARN struct `F` is never constructed
 impl<const S: &'static str> X for F<{ S }> {
     const W: usize = 3;
 
diff --git a/tests/ui/const-generics/issues/issue-86535.stderr b/tests/ui/const-generics/issues/issue-86535.stderr
@@ -0,0 +1,10 @@
+warning: struct `F` is never constructed
+  --> $DIR/issue-86535.rs:5:8
+   |
+LL | struct F<const S: &'static str>;
+   |        ^
+   |
+   = note: `#[warn(dead_code)]` on by default
+
+warning: 1 warning emitted
+
diff --git a/tests/ui/deriving/deriving-in-macro.rs b/tests/ui/deriving/deriving-in-macro.rs
@@ -5,7 +5,7 @@ macro_rules! define_vec {
     () => (
         mod foo {
             #[derive(PartialEq)]
-            pub struct bar;
+            pub struct bar; //~ WARN struct `bar` is never constructed
         }
     )
 }
diff --git a/tests/ui/deriving/deriving-in-macro.stderr b/tests/ui/deriving/deriving-in-macro.stderr
@@ -0,0 +1,14 @@
+warning: struct `bar` is never constructed
+  --> $DIR/deriving-in-macro.rs:8:24
+   |
+LL |             pub struct bar;
+   |                        ^^^
+...
+LL | define_vec![];
+   | ------------- in this macro invocation
+   |
+   = note: `#[warn(dead_code)]` on by default
+   = note: this warning originates in the macro `define_vec` (in Nightly builds, run with -Z macro-backtrace for more info)
+
+warning: 1 warning emitted
+
diff --git a/tests/ui/generic-associated-types/collections.rs b/tests/ui/generic-associated-types/collections.rs
@@ -10,6 +10,7 @@ trait Collection<T> {
     type Iter<'iter>: Iterator<Item=&'iter T> where T: 'iter, Self: 'iter;
     type Family: CollectionFamily;
     // Test associated type defaults with parameters
+    #[allow(dead_code)]
     type Sibling<U>: Collection<U> =
         <<Self as Collection<T>>::Family as CollectionFamily>::Member<U>;
 
diff --git a/tests/ui/generic-associated-types/missing-bounds.fixed b/tests/ui/generic-associated-types/missing-bounds.fixed
@@ -1,5 +1,7 @@
 //@ run-rustfix
 
+#![allow(dead_code)]
+
 use std::ops::Add;
 
 struct A<B>(B);
diff --git a/tests/ui/generic-associated-types/missing-bounds.rs b/tests/ui/generic-associated-types/missing-bounds.rs
@@ -1,5 +1,7 @@
 //@ run-rustfix
 
+#![allow(dead_code)]
+
 use std::ops::Add;
 
 struct A<B>(B);
diff --git a/tests/ui/generic-associated-types/missing-bounds.stderr b/tests/ui/generic-associated-types/missing-bounds.stderr
@@ -1,5 +1,5 @@
 error: equality constraints are not yet supported in `where` clauses
-  --> $DIR/missing-bounds.rs:37:33
+  --> $DIR/missing-bounds.rs:39:33
    |
 LL | impl<B: Add> Add for E<B> where <B as Add>::Output = B {
    |                                 ^^^^^^^^^^^^^^^^^^^^^^ not supported
@@ -12,7 +12,7 @@ LL + impl<B: Add> Add for E<B> where B: Add<Output = B> {
    |
 
 error[E0308]: mismatched types
-  --> $DIR/missing-bounds.rs:11:11
+  --> $DIR/missing-bounds.rs:13:11
    |
 LL | impl<B> Add for A<B> where B: Add {
    |      - expected this type parameter
@@ -25,14 +25,14 @@ LL |         A(self.0 + rhs.0)
    = note: expected type parameter `B`
              found associated type `<B as Add>::Output`
 help: the type constructed contains `<B as Add>::Output` due to the type of the argument passed
-  --> $DIR/missing-bounds.rs:11:9
+  --> $DIR/missing-bounds.rs:13:9
    |
 LL |         A(self.0 + rhs.0)
    |         ^^--------------^
    |           |
    |           this argument influences the type of `A`
 note: tuple struct defined here
-  --> $DIR/missing-bounds.rs:5:8
+  --> $DIR/missing-bounds.rs:7:8
    |
 LL | struct A<B>(B);
    |        ^
@@ -42,7 +42,7 @@ LL | impl<B> Add for A<B> where B: Add<Output = B> {
    |                                  ++++++++++++
 
 error[E0308]: mismatched types
-  --> $DIR/missing-bounds.rs:21:14
+  --> $DIR/missing-bounds.rs:23:14
    |
 LL | impl<B: Add> Add for C<B> {
    |      - expected this type parameter
@@ -55,7 +55,7 @@ LL |         Self(self.0 + rhs.0)
    = note: expected type parameter `B`
              found associated type `<B as Add>::Output`
 note: tuple struct defined here
-  --> $DIR/missing-bounds.rs:15:8
+  --> $DIR/missing-bounds.rs:17:8
    |
 LL | struct C<B>(B);
    |        ^
@@ -65,7 +65,7 @@ LL | impl<B: Add<Output = B>> Add for C<B> {
    |            ++++++++++++
 
 error[E0369]: cannot add `B` to `B`
-  --> $DIR/missing-bounds.rs:31:21
+  --> $DIR/missing-bounds.rs:33:21
    |
 LL |         Self(self.0 + rhs.0)
    |              ------ ^ ----- B
@@ -78,7 +78,7 @@ LL | impl<B: std::ops::Add<Output = B>> Add for D<B> {
    |       +++++++++++++++++++++++++++
 
 error[E0308]: mismatched types
-  --> $DIR/missing-bounds.rs:42:14
+  --> $DIR/missing-bounds.rs:44:14
    |
 LL | impl<B: Add> Add for E<B> where <B as Add>::Output = B {
    |      - expected this type parameter
@@ -91,7 +91,7 @@ LL |         Self(self.0 + rhs.0)
    = note: expected type parameter `B`
              found associated type `<B as Add>::Output`
 note: tuple struct defined here
-  --> $DIR/missing-bounds.rs:35:8
+  --> $DIR/missing-bounds.rs:37:8
    |
 LL | struct E<B>(B);
    |        ^
diff --git a/tests/ui/impl-trait/extra-impl-in-trait-impl.fixed b/tests/ui/impl-trait/extra-impl-in-trait-impl.fixed
@@ -1,5 +1,7 @@
 //@ run-rustfix
 
+#![allow(dead_code)]
+
 struct S<T>(T);
 struct S2;
 
diff --git a/tests/ui/impl-trait/extra-impl-in-trait-impl.rs b/tests/ui/impl-trait/extra-impl-in-trait-impl.rs
@@ -1,5 +1,7 @@
 //@ run-rustfix
 
+#![allow(dead_code)]
+
 struct S<T>(T);
 struct S2;
 
diff --git a/tests/ui/impl-trait/extra-impl-in-trait-impl.stderr b/tests/ui/impl-trait/extra-impl-in-trait-impl.stderr
@@ -1,23 +1,23 @@
 error: unexpected `impl` keyword
-  --> $DIR/extra-impl-in-trait-impl.rs:6:18
+  --> $DIR/extra-impl-in-trait-impl.rs:8:18
    |
 LL | impl<T: Default> impl Default for S<T> {
    |                  ^^^^^ help: remove the extra `impl`
    |
 note: this is parsed as an `impl Trait` type, but a trait is expected at this position
-  --> $DIR/extra-impl-in-trait-impl.rs:6:18
+  --> $DIR/extra-impl-in-trait-impl.rs:8:18
    |
 LL | impl<T: Default> impl Default for S<T> {
    |                  ^^^^^^^^^^^^
 
 error: unexpected `impl` keyword
-  --> $DIR/extra-impl-in-trait-impl.rs:12:6
+  --> $DIR/extra-impl-in-trait-impl.rs:14:6
    |
 LL | impl impl Default for S2 {
    |      ^^^^^ help: remove the extra `impl`
    |
 note: this is parsed as an `impl Trait` type, but a trait is expected at this position
-  --> $DIR/extra-impl-in-trait-impl.rs:12:6
+  --> $DIR/extra-impl-in-trait-impl.rs:14:6
    |
 LL | impl impl Default for S2 {
    |      ^^^^^^^^^^^^
diff --git a/tests/ui/lint/dead-code/issue-59003.rs b/tests/ui/lint/dead-code/issue-59003.rs
@@ -4,8 +4,8 @@
 
 #![deny(dead_code)]
 
+#[allow(dead_code)]
 struct Foo {
-    #[allow(dead_code)]
     inner: u32,
 }
 
diff --git a/tests/ui/lint/dead-code/unused-assoc-ty.rs b/tests/ui/lint/dead-code/unused-assoc-ty.rs
diff --git a/tests/ui/lint/dead-code/unused-assoc-ty.stderr b/tests/ui/lint/dead-code/unused-assoc-ty.stderr
diff --git a/tests/ui/lint/dead-code/unused-trait-with-assoc-ty.rs b/tests/ui/lint/dead-code/unused-trait-with-assoc-ty.rs
@@ -0,0 +1,11 @@
+#![deny(dead_code)]
+
+struct T1; //~ ERROR struct `T1` is never constructed
+
+trait Foo { type Unused; } //~ ERROR trait `Foo` is never used
+impl Foo for T1 { type Unused = Self; }
+
+pub trait Bar { type Used; }
+impl Bar for T1 { type Used = Self; }
+
+fn main() {}
diff --git a/tests/ui/lint/dead-code/unused-trait-with-assoc-ty.stderr b/tests/ui/lint/dead-code/unused-trait-with-assoc-ty.stderr
@@ -0,0 +1,20 @@
+error: struct `T1` is never constructed
+  --> $DIR/unused-trait-with-assoc-ty.rs:3:8
+   |
+LL | struct T1;
+   |        ^^
+   |
+note: the lint level is defined here
+  --> $DIR/unused-trait-with-assoc-ty.rs:1:9
+   |
+LL | #![deny(dead_code)]
+   |         ^^^^^^^^^
+
+error: trait `Foo` is never used
+  --> $DIR/unused-trait-with-assoc-ty.rs:5:7
+   |
+LL | trait Foo { type Unused; }
+   |       ^^^
+
+error: aborting due to 2 previous errors
+
diff --git a/tests/ui/parser/issues/issue-105366.fixed b/tests/ui/parser/issues/issue-105366.fixed
@@ -1,5 +1,6 @@
 //@ run-rustfix
 
+#[allow(dead_code)]
 struct Foo;
 
 impl From<i32> for Foo {
diff --git a/tests/ui/parser/issues/issue-105366.rs b/tests/ui/parser/issues/issue-105366.rs
diff --git a/tests/ui/parser/issues/issue-105366.stderr b/tests/ui/parser/issues/issue-105366.stderr
diff --git a/tests/ui/pattern/issue-22546.rs b/tests/ui/pattern/issue-22546.rs
diff --git a/tests/ui/pattern/issue-22546.stderr b/tests/ui/pattern/issue-22546.stderr
diff --git a/tests/ui/sanitizer/cfi/sized-associated-ty.rs b/tests/ui/sanitizer/cfi/sized-associated-ty.rs
diff --git a/tests/ui/traits/issue-38033.rs b/tests/ui/traits/issue-38033.rs

Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,7 @@ impl Fiz for bool {}`
`11`	`11`
`12`	`12`	`trait Grault {`
`13`	`13`	`type A;`
	`14`	`+ #[allow(dead_code)]`
`14`	`15`	`type B;`
`15`	`16`	`}`
`16`	`17`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
`2`		`- --> $DIR/impl-wf-cycle-5.rs:22:1`
	`2`	`+ --> $DIR/impl-wf-cycle-5.rs:23:1`
`3`	`3`	`\|`
`4`	`4`	`LL \| / impl<T> Grault for (T,)`
`5`	`5`	`LL \| \|`
`@@ -12,7 +12,7 @@ LL \| type A = ();`
`12`	`12`	\| ------ associated type `<(T,) as Grault>::A` is specified here
`13`	`13`	`\|`
`14`	`14`	note: required for `(T,)` to implement `Grault`
`15`		`- --> $DIR/impl-wf-cycle-5.rs:22:9`
	`15`	`+ --> $DIR/impl-wf-cycle-5.rs:23:9`
`16`	`16`	`\|`
`17`	`17`	`LL \| impl<T> Grault for (T,)`
`18`	`18`	`\| ^^^^^^ ^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0275]: overflow evaluating the requirement `<(T,) as Grault>::A == _`
`2`		`- --> $DIR/impl-wf-cycle-6.rs:22:1`
	`2`	`+ --> $DIR/impl-wf-cycle-6.rs:23:1`
`3`	`3`	`\|`
`4`	`4`	`LL \| / impl<T: Grault> Grault for (T,)`
`5`	`5`	`LL \| \|`
`@@ -11,7 +11,7 @@ LL \| type A = ();`
`11`	`11`	\| ------ associated type `<(T,) as Grault>::A` is specified here
`12`	`12`	`\|`
`13`	`13`	note: required for `(T,)` to implement `Grault`
`14`		`- --> $DIR/impl-wf-cycle-6.rs:22:17`
	`14`	`+ --> $DIR/impl-wf-cycle-6.rs:23:17`
`15`	`15`	`\|`
`16`	`16`	`LL \| impl<T: Grault> Grault for (T,)`
`17`	`17`	`\| ^^^^^^ ^^^^`
Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ async fn foo() {`
`11`	`11`	`async_in_foo(async_out_foo::<4>().await).await;`
`12`	`12`	`}`
`13`	`13`
`14`		`-struct Faz<const N: usize>;`
	`14`	+struct Faz<const N: usize>; //~ WARN struct `Faz` is never constructed
`15`	`15`
`16`	`16`	`impl<const N: usize> Foo<N> for Faz<N> {}`
`17`	`17`	`impl<const N: usize> Bar<N> for Faz<N> {`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ pub trait Foo {`
`9`	`9`	`[(); Self::ASSOC_C]:;`
`10`	`10`	`}`
`11`	`11`
`12`		`-struct Bar<const N: &'static ()>;`
	`12`	+struct Bar<const N: &'static ()>; //~ WARN struct `Bar` is never constructed
`13`	`13`	`impl<const N: &'static ()> Foo for Bar<N> {`
`14`	`14`	`const ASSOC_C: usize = 3;`
`15`	`15`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ macro_rules! define_vec {`
`5`	`5`	`() => (`
`6`	`6`	`mod foo {`
`7`	`7`	`#[derive(PartialEq)]`
`8`		`- pub struct bar;`
	`8`	+ pub struct bar; //~ WARN struct `bar` is never constructed
`9`	`9`	`}`
`10`	`10`	`)`
`11`	`11`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1,23 +1,23 @@`
`1`	`1`	error: unexpected `impl` keyword
`2`		`- --> $DIR/extra-impl-in-trait-impl.rs:6:18`
	`2`	`+ --> $DIR/extra-impl-in-trait-impl.rs:8:18`
`3`	`3`	`\|`
`4`	`4`	`LL \| impl<T: Default> impl Default for S<T> {`
`5`	`5`	\| ^^^^^ help: remove the extra `impl`
`6`	`6`	`\|`
`7`	`7`	note: this is parsed as an `impl Trait` type, but a trait is expected at this position
`8`		`- --> $DIR/extra-impl-in-trait-impl.rs:6:18`
	`8`	`+ --> $DIR/extra-impl-in-trait-impl.rs:8:18`
`9`	`9`	`\|`
`10`	`10`	`LL \| impl<T: Default> impl Default for S<T> {`
`11`	`11`	`\| ^^^^^^^^^^^^`
`12`	`12`
`13`	`13`	error: unexpected `impl` keyword
`14`		`- --> $DIR/extra-impl-in-trait-impl.rs:12:6`
	`14`	`+ --> $DIR/extra-impl-in-trait-impl.rs:14:6`
`15`	`15`	`\|`
`16`	`16`	`LL \| impl impl Default for S2 {`
`17`	`17`	\| ^^^^^ help: remove the extra `impl`
`18`	`18`	`\|`
`19`	`19`	note: this is parsed as an `impl Trait` type, but a trait is expected at this position
`20`		`- --> $DIR/extra-impl-in-trait-impl.rs:12:6`
	`20`	`+ --> $DIR/extra-impl-in-trait-impl.rs:14:6`
`21`	`21`	`\|`
`22`	`22`	`LL \| impl impl Default for S2 {`
`23`	`23`	`\| ^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -4,8 +4,8 @@`
`4`	`4`
`5`	`5`	`#![deny(dead_code)]`
`6`	`6`
	`7`	`+#[allow(dead_code)]`
`7`	`8`	`struct Foo {`
`8`		`- #[allow(dead_code)]`
`9`	`9`	`inner: u32,`
`10`	`10`	`}`
`11`	`11`