Merge pull request #32334 from xedin/use-gettype-for-pd-constraint-gen

[CSGen] Replace `getInterfaceType() -> mapTypeIntoContext()` for VarD…

Author: xedin

lib/Sema/CSGen.cpp

@@ -1420,7 +1420,7 @@ namespace {
       if (auto *VD = dyn_cast<VarDecl>(E->getDecl())) {
         knownType = CS.getTypeIfAvailable(VD);
         if (!knownType)
-          knownType = VD->getInterfaceType();
+          knownType = VD->getType();
 
         if (knownType) {
           assert(!knownType->isHole());
@@ -1432,8 +1432,6 @@ namespace {
           }
 
           // Set the favored type for this expression to the known type.
-          if (knownType->hasTypeParameter())
-            knownType = VD->getDeclContext()->mapTypeIntoContext(knownType);
           CS.setFavoredType(E, knownType.getPointer());
         }
 

test/decl/protocol/req/recursion.swift

@@ -48,8 +48,7 @@ public struct S<A: P> where A.T == S<A> { // expected-error {{circular reference
 // expected-error@-2 {{generic struct 'S' references itself}}
 // expected-note@-3 {{while resolving type 'S<A>'}}
   func f(a: A.T) {
-    g(a: id(t: a))
-    // expected-error@-1 {{type of expression is ambiguous without more context}}
+    g(a: id(t: a)) // `a` has error type which is diagnosed as circular reference
     _ = A.T.self
   }