diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-08-10 19:06:26 +0200 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-09-02 21:16:37 +0200 |
| commit | 6f6a6bc710e538741aa06d40df6492471e4be8af (patch) | |
| tree | 61e1807182b71b1cf086f8b63077391c7d8a3607 /compiler/rustc_middle/src | |
| parent | bd53aa3bf7a24a70d763182303bd75e5fc51a9af (diff) | |
Non-exhaustive structs may be empty
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/inhabitedness/mod.rs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/rustc_middle/src/ty/inhabitedness/mod.rs b/compiler/rustc_middle/src/ty/inhabitedness/mod.rs index 698104b0462..dd00db8635f 100644 --- a/compiler/rustc_middle/src/ty/inhabitedness/mod.rs +++ b/compiler/rustc_middle/src/ty/inhabitedness/mod.rs @@ -81,10 +81,6 @@ impl<'tcx> VariantDef { adt: ty::AdtDef<'_>, ) -> InhabitedPredicate<'tcx> { debug_assert!(!adt.is_union()); - if self.is_field_list_non_exhaustive() && !self.def_id.is_local() { - // Non-exhaustive variants from other crates are always considered inhabited. - return InhabitedPredicate::True; - } InhabitedPredicate::all( tcx, self.fields.iter().map(|field| { |