Slava Pestov b26c59962b Sema: Fix handling of getter typed throws in associated type inference ...

We must replace type parameters with archetypes in the thrown error type
of the witness. The requirement type remains an interface type.

2025-04-01 17:21:32 -04:00

..

assoc_type_inference_cycle.swift

…

associated_type_default_lookup.swift

…

associated_type_default.swift

…

associated_type_generic_param.swift

…

associated_type_inference_abstract.swift

…

associated_type_inference_distributed.swift

…

associated_type_inference_dynamic_self.swift

…

associated_type_inference_exponential_2.swift

…

associated_type_inference_exponential.swift

…

associated_type_inference_fixed_type_experimental_inference.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

associated_type_inference_foundation_1.swift

…

associated_type_inference_foundation_2.swift

…

associated_type_inference_generic_class.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

associated_type_inference_more_specific.swift

…

associated_type_inference_objc_existential.swift

…

associated_type_inference_operator.swift

…

associated_type_inference_proto_ext.swift

Remove DiagnosticsEditorMode

2024-08-14 11:24:31 -07:00

associated_type_inference_stdlib_2.swift

…

associated_type_inference_stdlib_3.swift

…

associated_type_inference_stdlib_4.swift

…

associated_type_inference_stdlib_4a.swift

…

associated_type_inference_stdlib_5.swift

…

associated_type_inference_stdlib.swift

…

associated_type_inference_tautology_2.swift

…

associated_type_inference_tautology_3.swift

…

associated_type_inference_tautology_4.swift

…

associated_type_inference_tautology.swift

…

associated_type_inference_valid.swift

…

associated_type_inference.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

associated_type_protocol_extension.swift

…

associated_type_tuple.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

identical_solutions.swift

…

issue-53221.swift

Fix name of test case

2024-08-29 16:18:14 -04:00

issue-57765.swift

…

issue-71216.swift

…

issue-75371.swift

…

missing_conformance.swift

Remove DiagnosticsEditorMode

2024-08-14 11:24:31 -07:00

rdar90402522.swift

…

rdar118998138.swift

…

rdar122574126.swift

…

rdar122584912.swift

…

rdar122586685.swift

…

rdar122586992.swift

…

rdar122587432.swift

…

rdar122587920.swift

…

rdar122588328.swift

…

rdar122589094.swift

…

rdar122596633-1.swift

…

rdar122596633-2.swift

Tests: Remove -disable-availability-checking in tests that use opaque types.

2024-10-19 19:39:18 -07:00

rdar123261282.swift

…

rdar123262178.swift

…

rdar123270042.swift

…

rdar123336457.swift

…

rdar123339514.swift

…

rdar123345520.swift

…

rdar123357062.swift

…

rdar127575477.swift

…

typed_throws_getter.swift

Sema: Fix handling of getter typed throws in associated type inference

2025-04-01 17:21:32 -04:00