From 2a1acc26a0533b82faa5ab18b56cff032e6ca3f9 Mon Sep 17 00:00:00 2001
From: Matthias Krüger <matthias.krueger@famsik.de>
Date: Tue, 12 Dec 2023 21:12:19 +0100
Subject: Update compiler/rustc_pattern_analysis/src/constructor.rs

add note that `missing_empty` is cleared now

Co-authored-by: Nadrieril <Nadrieril@users.noreply.github.com>
---
 compiler/rustc_pattern_analysis/src/constructor.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/rustc_pattern_analysis/src/constructor.rs')

diff --git a/compiler/rustc_pattern_analysis/src/constructor.rs b/compiler/rustc_pattern_analysis/src/constructor.rs
index 02039679517..3bca7894a29 100644
--- a/compiler/rustc_pattern_analysis/src/constructor.rs
+++ b/compiler/rustc_pattern_analysis/src/constructor.rs
@@ -979,6 +979,7 @@ impl ConstructorSet {
             && !(pcx.is_top_level && matches!(self, Self::NoConstructors))
         {
             // Treat all missing constructors as nonempty.
+            // This clears `missing_empty`.
             missing.append(&mut missing_empty);
         }
 
-- 
cgit 1.4.1-3-g733a5