12 Commits

Author	SHA1	Message	Date
Slava Pestov	6f627de8b2	Sema: Fix null pointer dereference in canPossiblyConvertTo() ... Not every CoreFoundation class is toll-free-bridged, of course.	2026-02-15 22:09:26 -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	885587af86	Sema: Use checkTransitiveSubtypeConformance() from canPossiblyConvertTo()	2026-02-15 14:00:52 -05:00
Slava Pestov	8cfef1002b	Sema: Use checkTransitiveSupertypeConformance() from canPossiblyConvertTo()	2026-02-15 14:00:52 -05:00
Slava Pestov	9e8728e90a	Sema: Add hasProperSupertypes()	2026-02-15 14:00:52 -05:00
Slava Pestov	aa512046b5	Sema: Add ConstraintSystem::isProtocolTransitiveFor{Super,Sub}type()	2026-02-15 14:00:52 -05:00
Slava Pestov	ff2a0f7ead	Sema: Add ConversionBehavior::String	2026-02-15 14:00:52 -05:00
Slava Pestov	87550ab409	Sema: Rename hasConversions() to hasProperSubtypes()	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