Slava Pestov cd5ecbee16 Sema: Implement missing part of SE-0346 ...

The proposal states that this should work, but this was never
implemented:

    protocol P<A> {
      associatedtype A
    }

    struct S: P<Int> {}

- Fixes https://github.com/swiftlang/swift/issues/62906.
- Fixes rdar://91842338.

2025-06-03 17:28:19 -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

…

issue-79367.swift

Sema: Fix regression with 'Failure' type witness inference hack

2025-04-03 17:34:31 -04:00

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

…

type_witness_from_parameterized_protocol.swift

Sema: Implement missing part of SE-0346

2025-06-03 17:28:19 -04:00

typed_throws_getter.swift

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

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