Swift: restore ArrayElement as an alias for CollectionElement

This commit is contained in:
Robert Marsh
2023-09-13 18:29:03 +00:00
parent 43ca192ceb
commit 0b66be5f07

View File

@@ -497,6 +497,9 @@ predicate parseContent(AccessPathToken component, Content content) {
or
parseEnum(component, content)
or
component.getName() = "ArrayElement" and
content instanceof Content::CollectionContent
or
component.getName() = "CollectionElement" and
content instanceof Content::CollectionContent
}