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

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

class.swift

…

deprecated.swift

Print diagnostic group names by default

2025-03-29 15:40:56 -07:00

dynamic_self.swift

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

existentials_covariant_erasure.swift

…

func.swift

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

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

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

recursion.swift

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

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

subscript.swift

[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit

2024-08-07 14:01:30 -07:00

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