rust/tests/ui/lint/dead-code, branch lcnr/rustc-dev-guidehttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=lcnr/rustc-dev-guide2025-08-10T13:50:14+00:00fix: re-enable self-assignment2025-08-10T13:50:14+00:00Lee ByeongJunlbj199874@gmail.com2025-08-10T13:50:14+00:00urn:sha1:ba350ff9110de2c75dab1e9530b63898bdc10154Rollup merge of #143519 - mu001999-contrib:dead-code/impl-items, r=petrochenkov2025-07-13T13:15:57+00:00Matthias Krüger476013+matthiaskrgr@users.noreply.github.com2025-07-13T13:15:57+00:00urn:sha1:7e0721b79881fc9bddb713f7237e7dae132e9f79
Check assoc consts and tys later like assoc fns
This PR
1. checks assoc consts and tys later like assoc fns
2. marks assoc consts appear in poly-trait-ref live
For assoc consts, considering
```rust
#![deny(dead_code)]
trait Tr { // ERROR trait `Tr` is never used
const I: Self;
}
struct Foo; //~ ERROR struct `Foo` is never constructed
impl Tr for Foo {
const I: Self = Foo;
}
fn main() {}
```
Current this will produce unused `I` instead of unused `Tr` and `Foo` ([play](https://play.rust-lang.org/?version=nightly&mode=debug&edition=2024&gist=e0490d4a2d522cb70437b26e514a3d9c)), because `const I: Self = Foo;` will be added into the worklist at first:
```
error: associated constant `I` is never used
--> src/main.rs:4:11
|
3 | trait Tr { // ERROR trait `Tr` is never used
| -- associated constant in this trait
4 | const I: Self;
| ^
|
note: the lint level is defined here
--> src/main.rs:1:9
|
1 | #![deny(dead_code)]
| ^^^^^^^^^
error: could not compile `playground` (bin "playground") due to 1 previous error
```
This also happens to assoc tys, see the [new test](https://github.com/rust-lang/rust/compare/master...mu001999-contrib:rust:dead-code/impl-items?expand=1#diff-bf45fa403934a31c9d610a073ed2603d885e7e81572e8edf38b7f4e08a1f3531)
Fixes rust-lang/rust#126729
r? `````@petrochenkov`````
Check assoc consts and tys later like assoc fns2025-07-10T15:39:54+00:00Mu001999mu001999@outlook.com2025-07-06T06:07:25+00:00urn:sha1:889582e704e516ab22a685711ef593a98fd9021aMake `Default` const and add some `const Default` impls2025-07-07T22:09:37+00:00Esteban Küberesteban@kuber.com.ar2024-12-21T20:25:43+00:00urn:sha1:c3301503b97cd6b768a944661b81a92994e9db00
Full list of `impl const Default` types:
- ()
- bool
- char
- Cell
- std::ascii::Char
- usize
- u8
- u16
- u32
- u64
- u128
- i8
- i16
- i32
- i64
- i128
- f16
- f32
- f64
- f128
- std::marker::PhantomData<T>
- Option<T>
- std::iter::Empty<T>
- std::ptr::Alignment
- &[T]
- &mut [T]
- &str
- &mut str
- String
- Vec<T>
Marks ADT live if it appears in pattern2025-06-14T05:44:43+00:00Mu001999mu001999@outlook.com2025-06-14T04:05:19+00:00urn:sha1:52167e04e62a84fe5073c4074733c72f96961aceAlways consider `const _` items as live for dead code analysis2025-06-09T13:48:06+00:00Urgauurgau@numericable.fr2025-06-08T18:36:47+00:00urn:sha1:33beaba7c8b78e9d4908e98dd1d6b4e15c6ba6f8Add test for issue 127911 and 1288392025-05-29T12:51:51+00:00Mu001999mu001999@outlook.com2025-05-29T12:51:51+00:00urn:sha1:6eb601036859970c93c30781f6dfd1061a0c6737Refactor the two-phase check for impls and impl items2025-05-27T14:03:21+00:00Mu001999mu001999@outlook.com2025-05-22T19:51:15+00:00urn:sha1:f83ecd82701923c38f847d290a4e0859d8cf0126Cleaned up 4 tests in `tests/ui/issues`2025-04-19T07:10:26+00:00Spencerspencer3035@gmail.com2025-04-16T03:06:27+00:00urn:sha1:3eaa4b93684f10765ce9b8004fac461008ae678atests: convert `tests/ui/lint/dead-code/self-assign.rs` to known-bug2025-04-13T09:33:55+00:00Jieyou Xujieyouxu@outlook.com2025-04-13T09:33:55+00:00urn:sha1:16334cdfd4640dbae4c3f5699d4f81ae358c715f