ModuleInterface: Adopt swiftinterface verification lit substitutions in inherited-generic-parameters.swift. This revealed that function decls without explicit parameter names can be printed into swiftinterfaces with duplicate synthesized names so update the test to avoid that bug.

Author: tshortli

test/ModuleInterface/inherited-generic-parameters.swift

@@ -1,11 +1,13 @@
 // RUN: %empty-directory(%t)
 
-// RUN: %target-swift-frontend -typecheck %s -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
+// RUN: %target-swift-emit-module-interface(%t/main.swiftinterface) %s
+// RUN: %target-swift-typecheck-module-from-interface(%t/main.swiftinterface)
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
 // RUN: %target-swift-frontend -emit-module -module-name main -primary-file %s -emit-module-path %t/main~partial.swiftmodule -enable-library-evolution
 
 // RUN: %target-swift-frontend -merge-modules %t/main~partial.swiftmodule -emit-module-path %t/main.swiftmodule -emit-module-interface-path %t/main.swiftinterface -enable-library-evolution
+// RUN: %target-swift-typecheck-module-from-interface(%t/main.swiftinterface)
 // RUN: %FileCheck %s < %t/main.swiftinterface
 
 // This test makes sure that we substitute uses of the superclass's generic
@@ -16,8 +18,8 @@ public class Base<In, Out> {
 // CHECK-NEXT: public init(x: @escaping (In) -> Out)
   public init(x: @escaping (In) -> Out) {}
 
-// CHECK-NEXT: public init<A>(_: A, _: A)
-  public init<A>(_: A, _: A) {}
+// CHECK-NEXT: public init<A>(_ a1: A, _ a2: A)
+  public init<A>(_ a1: A, _ a2: A) {}
 
 // CHECK-NEXT: public init<C>(_: C) where C : main.Base<In, Out>
   public init<C>(_: C) where C : Base<In, Out> {}
@@ -27,7 +29,7 @@ public class Base<In, Out> {
 // CHECK: public class Derived<T> : {{(main.)?}}Base<T, T> {
 public class Derived<T> : Base<T, T> {
 // CHECK-NEXT: override public init(x: @escaping (T) -> T)
-// CHECK-NEXT: override public init<A>(_ argument: A, _ argument: A)
+// CHECK-NEXT: override public init<A>(_ a1: A, _ a2: A)
 // CHECK-NEXT: override public init<C>(_ argument: C) where C : main.Base<T, T>
 // CHECK-NEXT: {{(@objc )?}}deinit
 // CHECK-NEXT: }