Doug Gregor
|
a30b623ee6
|
Implement typed throws support in _openExistential.
|
2024-01-14 14:32:49 -08:00 |
|
Holly Borla
|
6e8a581b42
|
[LangOptions] Remove the option to enable/disable implicit existential
opening.
|
2022-06-27 18:03:20 -07:00 |
|
Doug Gregor
|
deab0b9bd7
|
Don't open existential arguments to type(of:).
|
2022-02-18 11:22:57 -08:00 |
|
Holly Borla
|
c2594d1338
|
[FrontendOptions] Remove the -enable-explicit-existential-types flag.
|
2022-02-17 17:54:59 -08:00 |
|
Holly Borla
|
5dced8e5f9
|
[ConstraintSystem] Fix a few constraint system corner cases with explicit
existential types.
|
2022-01-13 19:30:44 -08:00 |
|
Mark Lacey
|
78d83e5703
|
Use %target-typecheck-verify-swift where possible.
|
2018-07-26 23:13:43 -07:00 |
|
Joe Groff
|
eb40d4303b
|
Sema: Add a stdlib-internal _openExistential helper.
Leverage the "special type-checking semantics" hack to pass an opened existential down to an arbitrary subexpression. Please don't use this.
|
2017-03-10 13:41:00 -08:00 |
|