Mark as "synthesized" type aliases for inferred associated type witnesses

Author: DougGregor

lib/Sema/TypeCheckDeclPrimary.cpp

@@ -2129,7 +2129,7 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
 
     TypeChecker::checkDeclAttributes(CD);
 
-    for (Decl *Member : CD->getAllMembers())
+    for (Decl *Member : CD->getABIMembers())
       visit(Member);
 
     TypeChecker::checkPatternBindingCaptures(CD);

lib/Sema/TypeCheckProtocol.cpp

@@ -2934,6 +2934,7 @@ void ConformanceChecker::recordTypeWitness(AssociatedTypeDecl *assocType,
     aliasDecl->setUnderlyingType(type);
 
     aliasDecl->setImplicit();
+    aliasDecl->setSynthesized();
     if (type->hasError())
       aliasDecl->setInvalid();