Slava Pestov 02fbe2c61d Sema: Introduce -solver-{enable,disable}-enumerate-supertypes flag ...

When enabled, we skip enumerateDirectSupertypes(). I'd like to get it
enabled unconditionally, since it blocks further binding optimizations.

The new enumerate_supertypes.swift file collects examples which no
longer type check with this feature enabled.

For now, this is off by default.

2026-06-29 19:07:35 -04:00

..

keypath-availability.swift

Sema: Diagnose key path setter availability.

2025-08-27 07:58:35 -07:00

keypath-mutation.swift

…

keypath-unsupported-methods.swift

[Sema] Tighten up function call check in resolveKeyPathExpr

2025-06-17 23:07:46 +01:00

keypath.swift

Sema: Introduce -solver-{enable,disable}-enumerate-supertypes flag

2026-06-29 19:07:35 -04:00

rdar85236369.swift

…

salvage-with-other-type-errors.swift

Add -verify-ignore-unrelated where necessary (NFC)

2025-10-04 14:19:52 -07:00