[Sema] Remove type check verification for initializes and accesses attr

Author: LucianoPAlmeida

lib/Sema/TypeCheckAttr.cpp

@@ -294,8 +294,6 @@ class AttributeChecker : public AttributeVisitor<AttributeChecker> {
   void visitDiscardableResultAttr(DiscardableResultAttr *attr);
   void visitDynamicReplacementAttr(DynamicReplacementAttr *attr);
   void visitTypeEraserAttr(TypeEraserAttr *attr);
-  void visitInitializesAttr(InitializesAttr *attr);
-  void visitAccessesAttr(AccessesAttr *attr);
   void visitStorageRestrictionsAttr(StorageRestrictionsAttr *attr);
   void visitImplementsAttr(ImplementsAttr *attr);
   void visitNoMetadataAttr(NoMetadataAttr *attr);
@@ -3573,44 +3571,6 @@ void AttributeChecker::visitTypeEraserAttr(TypeEraserAttr *attr) {
   (void)attr->hasViableTypeEraserInit(cast<ProtocolDecl>(D));
 }
 
-void AttributeChecker::visitInitializesAttr(InitializesAttr *attr) {
-  auto *accessor = dyn_cast<AccessorDecl>(D);
-  if (!accessor || accessor->getAccessorKind() != AccessorKind::Init) {
-    diagnose(attr->getLocation(),
-             diag::init_accessor_initializes_attribute_on_other_declaration);
-    return;
-  }
-
-  (void)attr->getPropertyDecls(accessor);
-}
-
-void AttributeChecker::visitAccessesAttr(AccessesAttr *attr) {
-  auto *accessor = dyn_cast<AccessorDecl>(D);
-  if (!accessor || accessor->getAccessorKind() != AccessorKind::Init) {
-    diagnose(attr->getLocation(),
-             diag::init_accessor_accesses_attribute_on_other_declaration);
-    return;
-  }
-
-  // Check whether there are any intersections between initializes(...) and
-  // accesses(...) attributes.
-
-  llvm::Optional<ArrayRef<VarDecl *>> initializedProperties;
-  if (auto *initAttr = D->getAttrs().getAttribute<InitializesAttr>()) {
-    initializedProperties.emplace(initAttr->getPropertyDecls(accessor));
-  }
-
-  if (initializedProperties) {
-    for (auto *property : attr->getPropertyDecls(accessor)) {
-      if (llvm::is_contained(*initializedProperties, property)) {
-        diagnose(attr->getLocation(),
-                 diag::init_accessor_property_both_init_and_accessed,
-                 property->getName());
-      }
-    }
-  }
-}
-
 void AttributeChecker::visitStorageRestrictionsAttr(StorageRestrictionsAttr *attr) {
   auto *accessor = dyn_cast<AccessorDecl>(D);
   if (!accessor || accessor->getAccessorKind() != AccessorKind::Init) {

lib/Sema/TypeCheckDeclOverride.cpp

@@ -1577,8 +1577,6 @@ namespace  {
     UNINTERESTING_ATTR(ObjCMembers)
     UNINTERESTING_ATTR(ObjCRuntimeName)
     UNINTERESTING_ATTR(RestatedObjCConformance)
-    UNINTERESTING_ATTR(Initializes)
-    UNINTERESTING_ATTR(Accesses)
     UNINTERESTING_ATTR(StorageRestrictions)
     UNINTERESTING_ATTR(Implements)
     UNINTERESTING_ATTR(StaticInitializeObjCMetadata)