Closed
Description
openedon Jul 22, 2024
Code
#![feature(never_type)]
pub struct JustEmpty(!);
pub struct FancyEmpty {
_empty: !,
}Current output
warning: struct `FancyEmpty` is never constructed
--> src/lib.rs:5:12
|
5 | pub struct FancyEmpty {
| ^^^^^^^^^^
|
= note: `#[warn(dead_code)]` on by default
warning: `playground` (lib) generated 1 warningDesired output
Compiles without warnings.Rationale and extra context
The struct is meant to not be constructible. Also the behavior is incoherent between tuple structs (correct behavior) and named structs (incorrect behavior).
Also, this is a regression, this didn't use to be the case.
Other cases
No response
Rust Version
rustc 1.82.0-nightly (92c6c0380 2024-07-21)
binary: rustc
commit-hash: 92c6c03805408a1a261b98013304e9bbf59ee428
commit-date: 2024-07-21
host: x86_64-unknown-linux-gnu
release: 1.82.0-nightly
LLVM version: 18.1.7Anything else?
No response
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Metadata
Assignees
Labels
Area: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lintsDiagnostics: Inconsistency in formatting, grammar or style between diagnostic messages.Diagnostics: Inconsistency in formatting, grammar or style between diagnostic messages.`#![feature(never_type)]``#![feature(never_type)]`Relevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.