summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2024-12-05 05:00:01 +0000
committerMichael Goulet <michael@errs.io>2025-03-18 18:24:02 +0000
commit0a6a0e47d2efb207ad0e95c3eb67b543c8cbb2e6 (patch)
treec798f426a4cbb8ec2a9fa39e6c580c765bf59b48 /compiler/rustc_pattern_analysis
parentf6107ca17342c34b3fd19bb88e3e57f99b07864e (diff)
downloadrust-0a6a0e47d2efb207ad0e95c3eb67b543c8cbb2e6.tar.gz
rust-0a6a0e47d2efb207ad0e95c3eb67b543c8cbb2e6.zip
Dont consider fields that are forced unstable due to -Zforce-unstable-if-unmarked to be uninhabited
Diffstat (limited to 'compiler/rustc_pattern_analysis')
-rw-r--r--compiler/rustc_pattern_analysis/src/rustc.rs10
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/rustc_pattern_analysis/src/rustc.rs b/compiler/rustc_pattern_analysis/src/rustc.rs
index 68d4d083a74..775befde395 100644
--- a/compiler/rustc_pattern_analysis/src/rustc.rs
+++ b/compiler/rustc_pattern_analysis/src/rustc.rs
@@ -15,7 +15,7 @@ use rustc_middle::ty::{
 };
 use rustc_middle::{bug, span_bug};
 use rustc_session::lint;
-use rustc_span::{DUMMY_SP, ErrorGuaranteed, Span};
+use rustc_span::{DUMMY_SP, ErrorGuaranteed, Span, sym};
 
 use crate::constructor::Constructor::*;
 use crate::constructor::{
@@ -232,10 +232,10 @@ impl<'p, 'tcx: 'p> RustcPatCtxt<'p, 'tcx> {
                             let is_visible =
                                 adt.is_enum() || field.vis.is_accessible_from(cx.module, cx.tcx);
                             let is_uninhabited = cx.is_uninhabited(*ty);
-                            let is_unstable = cx
-                                .tcx
-                                .lookup_stability(field.did)
-                                .is_some_and(|stab| stab.is_unstable());
+                            let is_unstable =
+                                cx.tcx.lookup_stability(field.did).is_some_and(|stab| {
+                                    stab.is_unstable() && stab.feature != sym::rustc_private
+                                });
                             let skip = is_uninhabited && (!is_visible || is_unstable);
                             (ty, PrivateUninhabitedField(skip))
                         });