AST: Resolve types when printing inheritance clauses.

Previously, a `.swiftinterface` emitted in lazy typechecking mode would fall
back on printing the `TypeRepr` of entries in the inheritance clause of a
declaration since inherited types could be unresolved.

Author: tshortli

lib/AST/ASTPrinter.cpp

@@ -7688,8 +7688,8 @@ swift::getInheritedForPrinting(
   InheritedTypes inherited = InheritedTypes(decl);
 
   // Collect explicit inherited types.
-  for (auto entry : inherited.getEntries()) {
-    if (auto ty = entry.getType()) {
+  for (auto i : inherited.getIndices()) {
+    if (auto ty = inherited.getResolvedType(i)) {
       bool foundUnprintable = ty.findIf([&](Type subTy) {
         if (auto aliasTy = dyn_cast<TypeAliasType>(subTy.getPointer()))
           return !options.shouldPrint(aliasTy->getDecl());
@@ -7703,7 +7703,7 @@ swift::getInheritedForPrinting(
         continue;
     }
 
-    Results.push_back(entry);
+    Results.push_back(inherited.getEntry(i));
   }
 
   // Collect synthesized conformances.

test/Inputs/lazy_typecheck.swift

@@ -54,7 +54,7 @@ public protocol PublicProto {
 }
 
 protocol InternalProto {
-  func goodReq() -> Int // expected-note {{protocol requires function 'goodReq()' with type '() -> Int'; add a stub for conformance}}
+  func goodReq() -> Int // expected-note 2 {{protocol requires function 'goodReq()' with type '() -> Int'; add a stub for conformance}}
   func badReq() -> DoesNotExist // expected-error {{cannot find type 'DoesNotExist' in scope}}
 }
 
@@ -137,6 +137,8 @@ extension String: PublicProto {
   }
 }
 
+extension String: InternalProto {} // expected-error {{type 'String' does not conform to protocol 'InternalProto'}}
+
 struct InternalStructConformingToPublicProto: PublicProto { // expected-error {{type 'InternalStructConformingToPublicProto' does not conform to protocol 'PublicProto'}}
 }
 

test/ModuleInterface/lazy-typecheck.swift

@@ -40,15 +40,15 @@
 // CHECK:         public class func publicClassMethod()
 // CHECK:         deinit
 // CHECK:       }
-// CHECK:       public struct PublicStructConformingToPublicProto : PublicProto {
+// CHECK:       public struct PublicStructConformingToPublicProto : lazy_typecheck.PublicProto {
 // CHECK:         public init()
 // CHECK:         public func req() -> Swift.Int
 // CHECK:       }
-// CHECK:       public class PublicClassConformingToPublicProto : PublicProto {
+// CHECK:       public class PublicClassConformingToPublicProto : lazy_typecheck.PublicProto {
 // CHECK:         public init()
 // CHECK:         public func req() -> Swift.Int
 // CHECK:         deinit
 // CHECK:       }
-// CHECK:       extension Swift.String : PublicProto {
+// CHECK:       extension Swift.String : lazy_typecheck.PublicProto {
 // CHECK:         public func req() -> Swift.Int
 // CHECK:       }