Hamish Knight e7c7239587 [Sema] Insert ErrorType same-type constraints for placeholder signatures ...

This helps avoid producing more downstream errors. This changes
`GenericSignature::forInvalid` to produce the same signature as e.g
`<T where T == Undefined>`. This subsumes the need to introduce
conformance requirements for invertible protocols.

2025-10-08 21:16:02 +01:00

..

Inputs

…

associated_type_ambiguity.swift

…

associated_type_objc.swift

…

associated_type_typealias_implements.swift

…

class.swift

…

deprecated.swift

…

dynamic_self.swift

…

existentials_covariant_erasure.swift

…

func.swift

…

name_mismatch.swift

…

optional_visibility.swift

…

optional.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

2025-04-22 18:23:36 +01:00

optionality.swift

…

properties.swift

…

recursion.swift

[Sema] Insert ErrorType same-type constraints for placeholder signatures

2025-10-08 21:16:02 +01:00

subscript.swift

…

unavailable.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

2025-04-22 18:23:36 +01:00

unsatisfiable.swift

Sema: Improve the 'protocol method can't impose new requirements on Self' check

2025-07-07 12:23:58 -04:00

where_clause.swift

…

witness_derived_other_conformance.swift

…

witness_fix_its.swift

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

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