Merge pull request #18087 from DougGregor/request-member-layout-of-class-members

[Type checker] Make sure that validating a class requests member layout.

Author: DougGregor

lib/Sema/TypeCheckDecl.cpp

@@ -2871,8 +2871,9 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
                        DescriptiveDeclKind::Class, path);
     }
 
-    for (Decl *Member : CD->getMembers())
+    for (Decl *Member : CD->getMembers()) {
       visit(Member);
+    }
 
     // If this class requires all of its stored properties to have
     // in-class initializers, diagnose this now.
@@ -2981,6 +2982,11 @@ class DeclChecker : public DeclVisitor<DeclChecker> {
 
     TC.checkDeclCircularity(CD);
     TC.ConformanceContexts.push_back(CD);
+
+    for (auto Member : CD->getMembers()) {
+      if (auto VD = dyn_cast<ValueDecl>(Member))
+        TC.requestMemberLayout(VD);
+    }
   }
 
   void visitProtocolDecl(ProtocolDecl *PD) {
@@ -5529,6 +5535,9 @@ void TypeChecker::addImplicitConstructors(NominalTypeDecl *decl) {
                         *this, classDecl, superclassCtor, kind)) {
         Context.addSynthesizedDecl(ctor);
         classDecl->addMember(ctor);
+
+        if (classDecl->hasValidatedLayout())
+          requestMemberLayout(ctor);
       }
     }