Commit Graph

5 Commits

Author SHA1 Message Date
Slava Pestov
7909d83229 AST: Refactor directReferencesForTypeRepr() to track inverses 2024-02-24 07:25:59 -05:00
Ellie Shin
0fe0d6d221 Allow Swift as a package name
Update AccessScope::isChildOf
Add more tests for package access level
Resolves rdar://106728606
2023-03-14 17:17:14 -07:00
Slava Pestov
dac8d666ee Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests
These flags are now no-ops.
2022-05-10 12:56:17 -04:00
Slava Pestov
75f6682969 RequirementMachine: Enable concrete contraction for nested type parameters
Fixes rdar://problem/91594361.
2022-05-09 21:21:35 -04:00
Slava Pestov
4e60aa150a RequirementMachine: Pass -requirement-machine-inferred-signatures=off in a handful of tests
- unify_superclass_types_[23].swift: I will fix these soon.
  rdar://90469643

- attr/accessibility_where_clause.swift: This one is dicey and should
  probably be banned. rdar://90469477
2022-03-18 00:43:26 -04:00