Pavel Yaskevich 53712be3ac [AST] Fix a bug where an inherited conditional conformance to an invertible protocol was treated as unconditional ...

Add a check to `ConformanceLookupTable::getConformance` to make
sure that an inherited conditional conformance doesn't produce
an unconditional builtin conformance on a conforming type.

2026-10-10 09:06:27 +09:00

..

Inputs

Fix test/Generics/Inputs/conditional_conformances_invisible_witness_other.swift

2026-01-27 00:08:19 +00:00

abstract_type_witnesses_in_protocols_2.swift

…

abstract_type_witnesses_in_protocols.swift

…

algorithms.swift

…

ambiguous_protocol_inheritance.swift

…

analyze_requirement_machine.swift

…

archetype_with_redundant_superclass_conformance.swift

…

associated_self_constraints.swift

…

associated_type_anchor_rdar47605019.swift

…

associated_type_order.swift

…

associated_type_typo.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

associated_type_where_clause_hints.swift

AST: Improve InFlightDiagnostic::fixItRemove() heuristics.

2026-05-06 11:03:30 -07:00

associated_type_where_clause.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_types_inherit.swift

…

associated_types_multi_file.swift

…

associated_types.swift

…

canonical_concrete_substitutions_in_protocol.swift

…

canonicalization.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

circular_protocol_superclass.swift

…

class_constraint.swift

…

concrete_conflict.swift

RequirementMachine: Tweak RewriteSystem::recordConflict() heuristic again

2024-02-29 18:13:28 -05:00

concrete_conformance_minimization.swift

…

concrete_conformance_rule_simplified.swift

…

concrete_conformances_in_protocol.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

concrete_contraction_existential.swift

AST: Fix crash when type parameter is substituted with an existential

2025-06-02 19:17:21 -04:00

concrete_contraction_substitute_non_nominal_base.swift

…

concrete_contraction_unrelated_typealias.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

concrete_nesting_elimination_order_2.swift

…

concrete_nesting_elimination_order.swift

…

concrete_protocol_typealias_minimization.swift

…

concrete_redundancy_via_adjustment.swift

…

concrete_same_type_versus_anyobject.swift

RequirementMachine: Leave behind conflicting requirements in the minimized signature

2024-02-15 14:32:31 -05:00

concrete_type_property_of_suffix.swift

…

conditional_conformance_sendable.swift

…

conditional_conformances_execute_smoke.swift

…

conditional_conformances_fixit.swift

Remove DiagnosticsEditorMode

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

conditional_conformances_invisible_witness.swift

Fix test/Generics/Inputs/conditional_conformances_invisible_witness_other.swift

2026-01-27 00:08:19 +00:00

conditional_conformances_literals.swift

…

conditional_conformances_objc.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

conditional_conformances_operators.swift

…

conditional_conformances_reparenting.swift

Reparenting: allow implied conditional conformances

2026-02-06 16:20:56 -08:00

conditional_conformances.swift

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

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

conditional_requirement_inference_2.swift

…

conditional_requirement_inference_in_protocol.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

conditional_requirement_inference.swift

…

confluent_example.swift

…

conformance_access_path.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

conformance_requirement_in_original_protocol.swift

…

conformance_requirement_with_protocol_typealias.swift

ASTPrinter: Refactor printing of RequirementSignatures

2024-01-31 21:55:52 -05:00

connected_components_concrete.swift

…

constrained_optional_params.swift

…

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

copyable_and_self_conforming_protocols.swift

Update tests

2024-11-18 18:09:19 -08:00

deduction.swift

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

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

derived_via_concrete_in_protocol.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

derived_via_concrete.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

existential_restrictions.swift

…

function_decls.swift

Sema: Fix 'generic parameter mentioned in signature' check edge case with subscripts

2025-12-15 15:27:20 -05:00

function_defs.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

generic_objc_superclass.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

generic_types.swift

AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def

2025-04-05 12:31:20 +01:00

generic-nested-in-extension-on-objc-class.swift

…

gsb_canonical_type_bug_1.swift

…

gsb_canonical_type_bug_2.swift

…

gsb_canonical_type_bug_3.swift

…

identity_conformance.swift

…

indirectly_concrete_generic_param.swift

…

infinite_concrete_type.swift

Requirement Machine: Fix an issue with pack expansion + tuple type crashes

2025-10-31 17:53:59 +00:00

infinite_opaque_result_type.swift

Sema: New opaque return type circularity check that doesn't trigger lazy type checking of bodies

2025-08-14 17:01:47 -04:00

inheritance.swift

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

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

inherited_concrete_conformance_in_protocol.swift

…

interdependent_protocol_conformance_example_1.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

interdependent_protocol_conformance_example_2.swift

…

interdependent_protocol_conformance_example_3.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

interdependent_protocol_conformance_example_4.swift

AST: Expand defaults in InheritedProtocolsRequest::evaluate()

2024-02-24 07:25:59 -05:00

interdependent_protocol_conformance_example_5.swift

AST: Expand defaults in InheritedProtocolsRequest::evaluate()

2024-02-24 07:25:59 -05:00

invalid.swift

[Sema] Avoid a couple of downstream diags with invalid same-type reqs

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

inverse_assoc_types_recur.swift

Test: more test coverage for single-level expansion behavior

2026-04-03 17:50:39 -07:00

inverse_assoc_types_sequence.swift

Test: establish current OpaqueValues XFAILs

2026-07-26 22:25:20 -07:00

inverse_assoc_types.swift

Sema: infer inverses in opaque return types

2026-05-04 14:49:34 -07:00

inverse_casting_availability.swift

Allow verification of diagnostics at invalid locs

2026-08-25 11:05:37 -07:00

inverse_classes1.swift

[AST] Fix a bug where an inherited conditional conformance to an invertible protocol was treated as unconditional

2026-10-10 09:06:27 +09:00

inverse_classes2.swift

[Sema] Prevent MoveOnlyClasses flag from suppressing more than ~Copyable

2026-10-09 05:29:38 +09:00

inverse_conditional_conformance_copyable_and_escapable.swift

Update tests for strict @lifetime type checking

2025-03-19 11:59:04 -07:00

inverse_conditional_conformance_restriction.swift

SuppAssocTypes: add deprecation warning of legacy version

2026-03-10 17:08:10 -07:00

inverse_copyable_requirement_errors.swift

NCGenerics: improve diagnostics

2024-06-04 15:06:32 -07:00

inverse_copyable_requirement.swift

[Diagnostics] Diagnose noncopyable conversions to AnyObject

2026-07-18 18:16:31 +08:00

inverse_extension_signatures.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

inverse_extensions.swift

SuppAssocTypes: add deprecation warning of legacy version

2026-03-10 17:08:10 -07:00

inverse_generics_stdlib.swift

Update tests

2024-11-18 18:09:19 -08:00

inverse_generics.swift

[test] Add additional test for inverse with class protocol composition

2026-05-15 19:48:31 +01:00

inverse_protocols_errors.swift

Sema: introduce SuppressedAssociatedTypesWithDefaults

2025-12-02 18:00:03 -08:00

inverse_protocols.swift

NCGenerics: it's no longer "experimental"

2024-05-08 10:49:12 -07:00

inverse_rdar119950540.swift

NCGenerics: it's no longer "experimental"

2024-05-08 10:49:12 -07:00

inverse_scoping_assoc_types_old.swift

Sema: infer inverses in opaque return types

2026-05-04 14:49:34 -07:00

inverse_scoping.swift

Test: split out some tests using SuppressedAssociatedTypes

2025-11-20 14:29:04 -08:00

inverse_signatures_assoc_types_old.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

inverse_signatures_assoc_types.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

inverse_signatures.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

issue-48296.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-49200.swift

…

issue-49823.swift

…

issue-49901.swift

…

issue-51450.swift

…

issue-51472.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

issue-52042.swift

…

issue-52838.swift

…

issue-52932.swift

…

issue-53142.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-53495.swift

…

issue-53550.swift

…

issue-54431.swift

…

issue-54555.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-54974.swift

…

issue-55060.swift

Add regression test for long-since fixed crasher

2024-09-04 10:42:20 -04:00

issue-55182.swift

…

issue-55258.swift

…

issue-55389.swift

Fix name of test case and move it to test/Generics/

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

issue-55426.swift

…

issue-55666.swift

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

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

issue-56248.swift

…

issue-56648.swift

…

issue-56840.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-56862.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-56932.swift

…

issue-57264.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-57339.swift

…

issue-58067.swift

…

issue-58069_1.swift

…

issue-58069_2.swift

…

issue-58100.swift

…

issue-58285.swift

…

issue-58301.swift

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

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

issue-61020.swift

…

issue-61192.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

issue-63410.swift

…

issue-69318.swift

[Evaluator] Avoid emitting duplicate "through reference here" notes

2025-10-05 20:48:08 +01:00

issue-84419.swift

Sema: Add test case for https://github.com/swiftlang/swift/issues/84419

2025-09-22 19:24:44 -04:00

issue-85084.swift

Add regression test for fixed crasher

2025-10-23 12:57:32 -04:00

joe_monoid.swift

…

loop_normalization_1.swift

…

loop_normalization_2.swift

…

loop_normalization_performance.swift

…

marker_self_conformance.swift

AST: Don't call ProtocolDecl::getSuperclass() in lookupExistentialConformance()

2024-03-21 14:49:04 -04:00

materializable_restrictions.swift

…

max_concrete_nesting.swift

RequirementMachine: Fix MaxConcreteNesting check to take initial rules into account

2024-03-06 21:42:49 -05:00

member_type_of_superclass_bound.swift

…

minimal_conformances_compare_concrete.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

minimize_concrete_unification.swift

…

minimize_superclass_unification_generic_1.swift

…

minimize_superclass_unification_generic_2.swift

…

minimize_superclass_unification_non_generic.swift

…

missing_sendable_conformance.swift

…

nested_type_reference.swift

…

non_fcrs.swift

RequirementMachine: New way of propagating failure when building rewrite system for protocol

2025-10-04 09:17:46 -04:00

non_final_class_conforms_same_type_requirement_on_self.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

non_generic_derived_class.swift

…

occurs_check_diagnostic.swift

Sema: Clean up diagnoseMissingOwnership()

2024-02-29 18:13:28 -05:00

opaque_archetype_concrete_requirement_invalid.swift

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

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

opaque_archetype_concrete_requirement_recursive_rejected.swift

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

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

opaque_archetype_concrete_requirement_recursive.swift

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

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

opaque_archetype_concrete_requirement.swift

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

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

pack_conformance_invalid_associated.swift

AST: don't propagate null Type from invalid associated conformance (#88873)

2026-05-06 22:04:22 -07:00

pack_same_type_requirements.swift

RequirementMachine: Fix crash-on-invalid with concrete type requirements involving packs

2025-09-10 20:20:31 -04:00

parameter-pack-requirements.swift

Requirement Machine: Fix an issue with pack expansion + tuple type crashes

2025-10-31 17:53:59 +00:00

parameter-pack-same-element-requirements.swift

test: Remove -disable-availability-checking where it has no effect.

2026-09-10 15:46:52 -07:00

protocol_extension_where_clause.swift

Sema: fix cycle involving protocol extensions

2025-12-03 08:03:19 -08:00

protocol_order.swift

…

protocol_requirement_signatures.swift

RequirementMachine: Use ProtocolDecl::getAllInheritedProtocols()

2024-06-25 15:20:42 -04:00

protocol_self_concrete_error.swift

…

protocol_superclass_cycle.swift

RequirementMachine: Don't call ProtocolDecl::getSuperclass() in concrete contraction

2024-03-21 14:49:05 -04:00

protocol_type_aliases.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

protocol_typealias_concrete_unification.swift

…

protocol_typealias_cycle_1.swift

…

protocol_typealias_cycle_1a.swift

…

protocol_typealias_cycle_2.swift

…

protocol_typealias_cycle_3.swift

…

protocol_typealias_cycle_4.swift

…

protocol_typealias_cycle_5.swift

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

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

protocol_typealias_cycle_6.swift

…

protocol_typealias_redeclaration.swift

…

protocol_typealias_same_type_requirement.swift

…

protocol_typealias_serialization.swift

…

protocol_typealias_unbound_generic.swift

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

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

protocol_where_clause.swift

…

rdar25065503.swift

…

rdar28544316.swift

…

rdar33654588.swift

…

rdar48049725.swift

…

rdar51908331.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar62903491.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar63731199.swift

RequirementMachine: Fix crash with protocol typealias having unbound generic type

2024-04-03 17:47:39 -04:00

rdar65015626.swift

…

rdar65263302.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar68084643.swift

…

rdar74321043.swift

…

rdar74890907.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar75171977.swift

…

rdar75656022.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar75691385.swift

…

rdar76750100.swift

…

rdar77462797.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar77683844.swift

…

rdar77807692.swift

…

rdar78233378.swift

…

rdar78643612.swift

…

rdar79564324.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

rdar79570734.swift

…

rdar80503090.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

rdar83308672.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar83687967.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar83768458.swift

…

rdar83848546.swift

…

rdar83894546_2.swift

…

rdar83894546.swift

…

rdar83955123.swift

…

rdar84734584.swift

…

rdar86431977.swift

…

rdar89921930.swift

…

rdar90402519.swift

RequirementMachine: Increase default type differences limit to 13000

2025-07-06 11:22:47 -04:00

rdar90506457.swift

…

rdar90506460.swift

…

rdar91232987.swift

…

rdar91594361.swift

…

rdar91771352.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

rdar94150249.swift

…

rdar94746399.swift

…

rdar94848868.swift

Merge pull request #84698 from hamishknight/carousel

2025-10-07 20:14:52 +01:00

rdar94854326.swift

…

rdar94980084.swift

…

rdar95075552.swift

…

rdar108963047.swift

…

rdar113943346.swift

…

rdar115314044.swift

…

rdar115538386.swift

Tests: Remove -disable-availability-checking in variadic generics tests.

2024-10-20 15:37:15 -07:00

rdar115538574.swift

…

rdar116434843.swift

Add regression tests for rdar://116434843 and #59772

2023-12-07 19:27:59 -05:00

rdar119866847.swift

Add regression test for fixed crasher

2025-03-27 15:36:21 -04:00

rdar123013710.swift

Revert "Diagnose public protocol witnessed by an internal protocol extension"

2026-01-23 10:28:19 -08:00

rdar124697829.swift

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

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

rdar136686001.swift

RequirementMachine: Skip protocol type aliases that contain unbound dependent member types

2025-03-26 10:55:23 -04:00

rdar139232031.swift

AST: Fix request cycle from ParameterizedProtocolType::getRequirements()

2024-11-04 23:36:57 -05:00

rdar158774099.swift

[Tests] NFC: Add a test-case for regression when TypeSubstituter::transformSubstitutionMap() is enabled

2025-08-22 14:00:31 -07:00

rdar160804717.swift

[Test] Mark UNSUPPORTED Generics/rdar160804717.swift on watchOS

2025-11-24 18:36:25 -05:00

reconstitute_sugar.swift

…

recursive_conformances.swift

…

recursive_superclass.swift

AST: Lazily map archetype superclass into context

2024-09-13 15:34:48 -04:00

redundant_concrete_conformance.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

redundant_inferred_requirement_order.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

redundant_parent_path_in_protocol.swift

…

redundant_protocol_composition.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

redundant_protocol_inheritance_via_concrete.swift

…

redundant_protocol_refinement.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

redundant_requirement_self_conforming_protocol.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

reparenting_associated_types1.swift

Reparenting: require statement of inheritance

2026-02-06 13:23:22 -08:00

reparenting_associated_types2.swift

Reparenting: require statement of inheritance

2026-02-06 13:23:22 -08:00

reparenting_associated_types3.swift

Reparenting: require statement of inheritance

2026-02-06 13:23:22 -08:00

reparenting_associated_types4.swift

Reparenting: require statement of inheritance

2026-02-06 13:23:22 -08:00

requirement_inference_funny_order.swift

ASTPrinter: Refactor printing of RequirementSignatures

2024-01-31 21:55:52 -05:00

requirement_inference_objc.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

requirement_inference_preconcurrency.swift

…

requirement_inference.swift

RequirementMachine: Remove -warn-redundant-requirements flag

2024-02-02 14:57:19 -05:00

requirement_machine_diagnostics.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

runaway_conformance_access_path.swift

…

same_type_constraints_objc.swift

…

same_type_constraints.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

same_type_minimize_concrete.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

same_type_requirements_in_protocol.swift

…

shadowed_generic_params.swift

[Diagnostics] Clarify the wording of error_in_future_swift_version.

2024-03-01 12:05:51 -08:00

simplify_concrete_substitutions_projection.swift

…

simplify_concrete_substitutions.swift

…

simplify_rhs_elimination_order.swift

…

slice_test.swift

Stage in a warning when trying to access symbols used by the compiler.

2024-07-19 16:55:11 -07:00

specialized_conformance_type_witness.swift

Sema: Remove non-experimental associated type inference

2024-03-07 17:30:17 -05:00

split_concrete_equivalence_class_in_protocol.swift

…

split_concrete_equivalence_class.swift

…

superclass_and_concrete_requirement.swift

RequirementMachine: Tweak RewriteSystem::recordConflict() heuristic again

2024-02-29 18:13:28 -05:00

superclass_and_layout_requirement.swift

…

superclass_constraint_nested_type.swift

…

superclass_constraint_self_derived.swift

…

superclass_constraint.swift

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05:00

superclass_requirement_and_objc_existential.swift

RequirementMachine: Leave behind conflicting requirements in the minimized signature

2024-02-15 14:32:31 -05:00

trivial_reduction.swift

…

tuple-conformances-synthesize-crash.swift

Sema: Fix crash in diagnoseIfSynthesisUnsupportedForDecl() with tuple extension

2025-06-17 09:52:03 -04:00

tuple-conformances.swift

Allow Equatable: ~Copyable (#85746)

2025-12-03 05:45:38 -08:00

typealias-in-extension-of-external-protocol.swift

…

typed_throws.swift

Sema: Fix accepts-invalid with throwing function types

2025-02-10 09:17:40 -05:00

unavailable_conformances.swift

…

unbound.swift

AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def

2025-04-05 12:31:20 +01:00

unify_associated_types.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_concrete_types_1.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_concrete_types_2.swift

…

unify_nested_types_1.swift

…

unify_nested_types_2.swift

…

unify_nested_types_3.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_nested_types_4.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_nested_types_5.swift

…

unify_protocol_composition.swift

…

unify_superclass_types_1.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_superclass_types_2.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_superclass_types_3.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_superclass_types_4.swift

AST: Add the Deinitable invertible protocol.

2026-10-06 20:56:48 -07:00

unify_superclass_types_invalid.swift

AST: More robust TypeBase::getSuperclassForDecl()

2025-06-10 16:49:57 -04:00

validate_stdlib_generic_signatures.swift

…

variadic_generic_requirements.swift

Tests: Remove -disable-availability-checking in variadic generics tests.

2024-10-20 15:37:15 -07:00

variadic_generic_types_availability.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

variadic_generic_types.swift

RequirementMachine: Fix crash-on-invalid with concrete type requirements involving packs

2025-09-10 20:20:31 -04:00

where_clause_contextually_generic_decls.swift

…