Sema: Improve the infinite opaque return type check #83141
slavapestov
merged
10 commits into
swiftlang:main
from
slavapestov:fix-rdar82992151
Sema: Add a type checker test that is now fast
7b0ad4a6
AST: Small cleanup for InFlightSubstitution
ef0164dc
Sema: Replace a usage of SubstFlags::SubstituteOpaqueArchetypes with …
97ce5261
AST: Add SubstitutionMap::DumpStyle::NoConformances and use it by def…
7a0ff5cc
AST: More robust recursion check for opaque types with infinite under…
103428fe
Sema: Improve the infinite opaque return type check
b70f8a82
AST: Cache substituted substitution maps inside the InFlightSubstitution
8d05d79f
AST: Re-enable TypeSubstituter::transformSubstitutionMap() again
81bf4490
Frontend: Clean up integer option parsing in ParseLangArgs()
f909ca69
AST: Add -max-substitution-count= and -max-substitution-depth= fronte…
4eaa7e3b
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub