From 2a1acc26a0533b82faa5ab18b56cff032e6ca3f9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Matthias=20Kr=C3=BCger?= <matthias.krueger@famsik.de>
Date: Tue, 12 Dec 2023 21:12:19 +0100
Subject: [PATCH] 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(+)

diff --git a/compiler/rustc_pattern_analysis/src/constructor.rs b/compiler/rustc_pattern_analysis/src/constructor.rs
index 02039679517ca..3bca7894a2921 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);
         }