simplify merging of two vecs

This commit is contained in:
Matthias Krüger 2023-12-12 18:42:37 +01:00
parent 27d8a57713
commit 6892fcd690
2 changed files with 2 additions and 2 deletions

View file

@ -979,7 +979,7 @@ impl ConstructorSet {
&& !(pcx.is_top_level && matches!(self, Self::NoConstructors))
{
// Treat all missing constructors as nonempty.
missing.extend(missing_empty.drain(..));
missing.append(&mut missing_empty);
}
SplitConstructorSet { present, missing, missing_empty }