Merge pull request swiftlang#63895 from slavapestov/fix-issue-63869

IRGen: Fix edge case where we emit debug info type with the wrong generic signature

Author: slavapestov

lib/IRGen/IRGenDebugInfo.cpp

@@ -621,7 +621,11 @@ class IRGenDebugInfoImpl : public IRGenDebugInfo {
     case DeclContextKind::MacroDecl:
       return getOrCreateContext(DC->getParent());
     case DeclContextKind::GenericTypeDecl: {
+      // The generic signature of this nominal type has no relation to the current
+      // function's generic signature.
       auto *NTD = cast<NominalTypeDecl>(DC);
+      GenericContextScope scope(IGM, NTD->getGenericSignature().getCanonicalSignature());
+
       auto Ty = NTD->getDeclaredInterfaceType();
       // Create a Forward-declared type.
       auto DbgTy = DebugTypeInfo::getForwardDecl(Ty);
@@ -673,9 +677,6 @@ class IRGenDebugInfoImpl : public IRGenDebugInfo {
     // The function return type is the first element in the list.
     createParameterType(Parameters, getResultTypeForDebugInfo(IGM, FnTy));
 
-    // Actually, the input type is either a single type or a tuple
-    // type. We currently represent a function with one n-tuple argument
-    // as an n-ary function.
     for (auto Param : FnTy->getParameters())
       createParameterType(
           Parameters, IGM.silConv.getSILType(

test/DebugInfo/issue-63869.swift

@@ -0,0 +1,17 @@
+// RUN: %target-swift-frontend -emit-ir -g %s
+
+public protocol P {
+  associatedtype Element
+}
+
+public struct G<T, U> {
+  public struct Nested {}
+
+  public init(_: (Nested) -> ()) {}
+}
+
+public extension P {
+    var values: G<Element, Int> {
+        G<Element, Int> { x in }
+    }
+}