rustc complains about unused code if item is used in #[automatically_derived] context

@rustbot

Code

I tried this code:

use std::fmt::{Debug, Display};

struct Identity<T>(T);

impl<T> Display for Identity<T>
where
    T: Display,
{
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", self.0)
    }
}

struct Thing {}

#[automatically_derived]
impl Debug for Thing {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "{}", Identity("Thing"))
    }
}

fn main() {
    let hello = Thing {};
    println!("{hello:?}");
}

I expected to see this happen: The code compiles without any warnings since, the Identity struct is clearly used.

Instead, this happened: The compiler emits a dead_code lint, telling me that the struct is never constructed

Example where this can occur: when using the derive_more crate to derive a specialized Debug implementation, and the usage of derive_more::Debug utilizes a formatter struct to avoid allocating into an intermediate heap allocated buffer

Real-world example

Version it worked on

It most recently worked on: Rust 1.77.2

Version with regression

rustc --version --verbose:

rustc 1.78.0 (9b00956e5 2024-04-29)
binary: rustc
commit-hash: 9b00956e56009bab2aa15d7bff10916599e3d6d6
commit-date: 2024-04-29
host: x86_64-unknown-linux-gnu
release: 1.78.0
LLVM version: 18.1.2

@rustbot modify labels: +regression-from-stable-to-stable -regression-untriaged

Okay, I submitted it under the wrong category. Apologies for that. Clearly a diagnostic issue.

@rustbot

@rustbot modify labels: -regression-from-stable-to-stable +A-diagnostics

@rustbot

@rustbot modify labels: -I-prioritize +T-compiler

@mu001999

Actually I think you were right, seems to be a diagnostic regression introduced in c69fda7 (so my bisection reports):

cc @mu001999 since author of #121752 and @pnkfelix (reviewer of said patch)

@rustbot label +regression-from-stable-to-stable +P-medium -needs-triage

@rustbot

@rustbot claim

@apiraino

@apiraino After some investigation I don't think this is a regression. We can construct the following, which will also trigger dead_code lint in previous versions:

use std::fmt::Debug;

struct T;

struct Thing {}

#[automatically_derived]
impl Debug for Thing {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        let _x = T;
        write!(f, "1")
    }
}

fn main() {
    let hello = Thing {};
    println!("{hello:?}");
}

Before 1.78, dead code analysis will check all impls regardless of whether the struct is used or not, so that we don't see such warnings cause it has an impl block. In fact, the reason is that the impl Debug is not automatically derived, and we can't construct such cases with only using #[derive(Debug)].

@aumetra in the Real-world example, it's because #[debug("{}", BinaryToStringEncoder(msg))] introduces the user-defined approach to impl Debug.

I don't know which macro the #[debug("{}", BinaryToStringEncoder(msg))] belongs to, but I think one way to solve this is to not generate #[automatically_derived] if users add such #[debug(...)] on fields.

I don't know which macro the #[debug("{}", BinaryToStringEncoder(msg))] belongs to, but I think one way to solve this is to not generate #[automatically_derived] if users add such #[debug(...)] on fields.

It's actually part of derive_more, so a pretty abundant crate in the ecosystem. But I guess not a lot of people are hitting this issue because not a lot of people do something like this.

@aumetra

@aumetra furthermore, automatically_derived is helpful to lint never read fields by treating reading in the Debug impl as trivial reading:

#[derive(Debug)]
struct T(i32);

fn main() {
    let x = T(1);
    println!("{x:?}")
}

so that we can still get field 0 is never read, cause it's only used in the derived impl Debug.

As a comparison, Identity in #126031 (comment) is also only constructed in the Debug impl, that's why we lint it like those fields only used for debugging.

I guess another way to solve this in the real-world example is to print differently when meeting different fmt::Formatter's config in impl Debug for Binary, and then use the specific fmt_str in the #[debug(...)] on fields to determine the behavior.

Refer to #126031 (comment), I will close this because the behavior is intentional to avoid linting items only used in automatically derived Debug impls.

Navigation Menu

Repository navigation

rustc complains about unused code if item is used in `#[automatically_derived]` context #126031

Code

Version it worked on

Version with regression

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

rustc complains about unused code if item is used in #[automatically_derived] context #126031

Description

Code

Version it worked on

Version with regression

Activity

aumetra commented on Jun 5, 2024

aumetra commented on Jun 5, 2024

aumetra commented on Jun 5, 2024

apiraino commented on Jun 5, 2024

mu001999 commented on Jun 5, 2024

mu001999 commented on Jun 6, 2024

aumetra commented on Jun 6, 2024

mu001999 commented on Jun 7, 2024

mu001999 commented on Jun 14, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

rustc complains about unused code if item is used in `#[automatically_derived]` context #126031