Commit Graph

9 Commits

Author SHA1 Message Date
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