Hamish Knight 669a2ce9b0 [CS] Sink placeholder handling logic into Solution::simplifyType ...

Move the logic from `FailureDiagnostic::resolveType` into
`Solution::simplifyType` to allow completion to use it too. While
here, also handle cases where the placeholder is from a different
member of the equivalence class to the generic parameter.

2025-10-04 12:56:52 +01:00

..

basic.swift

Sema: Allow parameterized existential compositions

2025-05-23 14:14:23 -04:00

concrete.swift

Remove diag::type_of_expression_is_ambiguous

2025-08-19 17:14:23 +01:00

constraint_failure.swift

[CS] Sink placeholder handling logic into Solution::simplifyType

2025-10-04 12:56:52 +01:00

covariant_erasure.swift

…

generic_fixit.swift

TypeCheckType: Unconditionally warn about missing existential any until Swift 7

2025-02-12 21:20:44 +00:00

metatype.swift

…

misc.swift

Sema: Partially revert existential opening fix

2025-02-14 22:30:28 +00:00

opaque_result_type.swift

…

storage.swift

Sema: Subscript called with opened existential cannot produce lvalue if result is type-erased

2024-12-17 23:03:38 +00:00