Update compiler/rustc_pattern_analysis/src/constructor.rs

matthiaskrgr · Nadrieril · web-flow · commit 2a1acc26a053 · 2023-12-12T21:12:19.000+01:00
add note that `missing_empty` is cleared now

Co-authored-by: Nadrieril &lt;Nadrieril@users.noreply.github.com&gt;
diff --git 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);
         }
 

Original file line number	Diff line number	Diff line change
`@@ -979,6 +979,7 @@ impl ConstructorSet {`
`979`	`979`	`&& !(pcx.is_top_level && matches!(self, Self::NoConstructors))`
`980`	`980`	`{`
`981`	`981`	`// Treat all missing constructors as nonempty.`
	`982`	+ // This clears `missing_empty`.
`982`	`983`	`missing.append(&mut missing_empty);`
`983`	`984`	`}`
`984`	`985`