Slava Pestov
|
4f70388ee1
|
Sema: Incremental disjunction pruning
|
2026-02-20 19:30:35 -05:00 |
|
Slava Pestov
|
b5823836fe
|
Sema: Implement more missing cases in canPossiblyConvertTo()
|
2026-02-15 14:00:53 -05:00 |
|
Slava Pestov
|
9bad74379d
|
Sema: Teach Subtyping.cpp about LValueType and InOutType
|
2026-02-15 14:00:52 -05:00 |
|
Slava Pestov
|
53c4eee858
|
Sema: Move some code from canPossiblyConvertTo() to isLikelyExactMatch()
|
2026-02-15 14:00:51 -05:00 |
|
Slava Pestov
|
3f69cedfa7
|
Sema: Move some code from CSLookahead.cpp to Subtyping.cpp
|
2026-02-15 14:00:51 -05:00 |
|
Slava Pestov
|
54789c12c7
|
Sema: Split off Subtyping.cpp from CSBindings.cpp
|
2026-02-15 14:00:51 -05:00 |
|
Slava Pestov
|
21abe01557
|
Sema: Teach canPossiblyConvertTo() about CF toll-free bridging
|
2026-02-06 12:47:33 -05:00 |
|
Slava Pestov
|
22fdb62e51
|
Sema: Add a couple of type checker performance tests
|
2026-02-06 12:47:33 -05:00 |
|
Slava Pestov
|
95a54ce82a
|
Sema: Yet another constraint optimization pass
- Fixes https://github.com/swiftlang/swift/issues/55762
- Fixes rdar://32034560
|
2026-01-26 21:48:59 +00:00 |
|