swift
Sema: Improve the infinite opaque return type check
#83141

Merged

Sema: Improve the infinite opaque return type check #83141

slavapestov merged 10 commits into swiftlang:main from slavapestov:fix-rdar82992151

slavapestov requested a review from

hborla 79 days ago

slavapestov requested a review from

xedin 79 days ago

slavapestov force pushed from c58530e5 to 5dbcd187 78 days ago

slavapestov force pushed from 5dbcd187 to 9a5811cc 78 days ago

slavapestov requested a review from

artemcm 78 days ago

slavapestov requested a review from

tshortli 78 days ago

slavapestov requested a review from

DougGregor 78 days ago

slavapestov force pushed from 9a5811cc to f42d9a65 78 days ago

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

slavapestov force pushed from f42d9a65 to 4eaa7e3b 77 days ago

slavapestov merged bb4f61e9 into main 77 days ago

Reviewers

hborla

xedin

artemcm

tshortli

DougGregor

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift Sema: Improve the infinite opaque return type check #83141 Merged

Sema: Improve the infinite opaque return type check #83141

swift
Sema: Improve the infinite opaque return type check
#83141

Merged