Merge pull request swiftlang#70718 from tshortli/module-interface-test-submodule-types

ModuleInterface: Test printing of qualified types from submodules

Author: tshortli

test/ModuleInterface/Inputs/submodule-type/HasSubmodule.h

@@ -0,0 +1 @@
+struct HasSubmoduleType {};

test/ModuleInterface/Inputs/submodule-type/Submodule.h

@@ -0,0 +1 @@
+struct SubmoduleType {};

test/ModuleInterface/Inputs/submodule-type/module.modulemap

@@ -0,0 +1,8 @@
+module HasSubmodule {
+  header "HasSubmodule.h"
+  export *
+  explicit module Submodule {
+    header "Submodule.h"
+    export *
+  }
+}

test/ModuleInterface/submodule-type.swift

@@ -0,0 +1,11 @@
+// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name ImportsSubmodule -I %S/Inputs/submodule-type
+// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name ImportsSubmodule -I %S/Inputs/submodule-type
+// RUN: %FileCheck %s < %t.swiftinterface
+
+import HasSubmodule.Submodule
+
+// CHECK: public func takesHasSubmoduleType(_ x: HasSubmodule.HasSubmoduleType)
+public func takesHasSubmoduleType(_ x: HasSubmoduleType) {}
+
+// CHECK: public func takesSubmoduleType(_ x: HasSubmodule.SubmoduleType)
+public func takesSubmoduleType(_ x: SubmoduleType) {}