Slava Pestov f8cf708753 RequirementMachine: Increase default type differences limit to 13000 ...

Fixes rdar://154684522.

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

..

Inputs

…

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

…

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_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.swift

Also show the new conformance details in the default dump.

2025-04-03 12:37:15 -04: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

…

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

AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def

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

function_defs.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

generic_objc_superclass.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -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

RequirementMachine: Increase default type differences limit to 13000

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

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

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

…

inverse_associatedtype_restriction.swift

Update tests

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

inverse_casting_availability.swift

Update tests for strict @lifetime type checking

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

inverse_classes1.swift

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

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

inverse_classes2.swift

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07: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

Update tests for strict @lifetime type checking

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

inverse_copyable_requirement_errors.swift

NCGenerics: improve diagnostics

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

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

inverse_extension_signatures.swift

Also show the new conformance details in the default dump.

2025-04-03 12:37:15 -04:00

inverse_extensions.swift

Update tests

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

inverse_generics_stdlib.swift

Update tests

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

inverse_generics.swift

[NFC] Update tests and diagnostics

2025-06-07 12:49:01 -07:00

inverse_protocols_errors.swift

NCGenerics: it's no longer "experimental"

2024-05-08 10:49:12 -07: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.swift

Update tests

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

inverse_signatures.swift

Also show the new conformance details in the default dump.

2025-04-03 12:37:15 -04: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

…

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

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

2024-08-07 14:01:30 -07: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

ASTDumper: Do not escape Unicode chars in quoted fields

2024-12-10 12:51:19 +00: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: Increase default type differences limit to 13000

2025-07-06 11:22:47 -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

parameter-pack-requirements.swift

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

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

parameter-pack-same-element-requirements.swift

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

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

protocol_extension_where_clause.swift

…

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

Stop passing -warn-redundant-requirements in tests

2024-02-02 14:57:19 -05: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

…

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

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -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

Sema: Implement missing part of SE-0346

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

Sema: Re-introduce the hack for re-using generic signature of extended protocol

2024-06-19 13:25:09 -04: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

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

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

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

2024-11-02 11:46:46 -07: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

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_concrete_types_1.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_concrete_types_2.swift

…

unify_nested_types_1.swift

…

unify_nested_types_2.swift

…

unify_nested_types_3.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_nested_types_4.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_nested_types_5.swift

…

unify_protocol_composition.swift

…

unify_superclass_types_1.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_superclass_types_2.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_superclass_types_3.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -07:00

unify_superclass_types_4.swift

Test: updates for NoncopyableGenerics

2024-03-14 23:10:44 -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

Sema: Disallow SE-0361 with variadic generic types for now

2025-05-05 16:04:17 -04:00

where_clause_contextually_generic_decls.swift

…