diff --git a/src/main/java/picocli/CommandLine.java b/src/main/java/picocli/CommandLine.java
index bca16cc16..3cfa11baa 100644
--- a/src/main/java/picocli/CommandLine.java
+++ b/src/main/java/picocli/CommandLine.java
@@ -13292,7 +13292,7 @@ private void processArguments(List<CommandLine> parsedCommands,
                         tracer.debug("Subcommand '%s' has been matched before. Making a copy...%n", subcommand.getCommandName());
                         subcommand = subcommand.copy();
                         subcommand.getCommandSpec().parent(commandSpec.parent()); // hook it up with its parent
-                        inheritedInitialized = new LinkedHashSet<>(inheritedInitialized);
+                        inheritedInitialized = new LinkedHashSet<ArgSpec>(inheritedInitialized);
                     }
                     processSubcommand(subcommand, getParent().interpreter.parseResultBuilder, parsedCommands, args, required, inheritedInitialized, originalArgs, nowProcessing, separator, arg);
                     continue;