averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2026-02-27 18:26:24 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
swift-mirror/test/Generics
History
Kavon Farvardin 6a915549eb Reparenting: allow implied conditional conformances 
The only way to avoid a source break when introducing a
reparenting is to allow implied conditional conformance
to a @reparentable protocol, as prior code would not have
explicitly stated it.
2026-02-06 16:20:56 -08: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
…
associated_type_where_clause_hints.swift
…
associated_type_where_clause.swift
…
associated_types_inherit.swift
…
associated_types_multi_file.swift
…
associated_types.swift
…
canonical_concrete_substitutions_in_protocol.swift
…
canonicalization.swift
…
circular_protocol_superclass.swift
…
class_constraint.swift
…
concrete_conflict.swift
…
concrete_conformance_minimization.swift
…
concrete_conformance_rule_simplified.swift
…
concrete_conformances_in_protocol.swift
…
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
…
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
…
concrete_type_property_of_suffix.swift
…
conditional_conformance_sendable.swift
…
conditional_conformances_execute_smoke.swift
…
conditional_conformances_fixit.swift
…
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
…
conditional_requirement_inference.swift
…
confluent_example.swift
…
conformance_access_path.swift
…
conformance_requirement_in_original_protocol.swift
…
conformance_requirement_with_protocol_typealias.swift
…
connected_components_concrete.swift
…
constrained_optional_params.swift
…
constrained_type_witnesses.swift
…
copyable_and_self_conforming_protocols.swift
…
deduction.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
derived_via_concrete_in_protocol.swift
…
derived_via_concrete.swift
…
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
…
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
…
interdependent_protocol_conformance_example_2.swift
…
interdependent_protocol_conformance_example_3.swift
…
interdependent_protocol_conformance_example_4.swift
…
interdependent_protocol_conformance_example_5.swift
…
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_sequence.swift
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
inverse_assoc_types.swift
Sema: apply scoping SuppAssocType scoping rule roots
2025-12-16 15:20:56 -08:00
inverse_associatedtype_restriction.swift
…
inverse_casting_availability.swift
Update tests for strict @lifetime type checking
2025-03-19 11:59:04 -07:00
inverse_classes1.swift
…
inverse_classes2.swift
…
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
…
inverse_copyable_requirement.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -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
Sema: apply scoping SuppAssocType scoping rule roots
2025-12-16 15:20:56 -08:00
inverse_generics_stdlib.swift
…
inverse_generics.swift
[CSSimplify] Look through InstanceType while attempting to diagnose conformance failures
2025-10-05 23:57:09 -07:00
inverse_protocols_errors.swift
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
inverse_protocols.swift
…
inverse_rdar119950540.swift
…
inverse_scoping_assoc_types_old.swift
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08: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
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
inverse_signatures_assoc_types.swift
Test: additional test coverage for SuppressedAssociatedTypesWithDefaults
2025-12-05 17:05:21 -08:00
inverse_signatures.swift
Sema: introduce SuppressedAssociatedTypesWithDefaults
2025-12-02 18:00:03 -08:00
issue-48296.swift
…
issue-49200.swift
…
issue-49823.swift
…
issue-49901.swift
…
issue-51450.swift
…
issue-51472.swift
…
issue-52042.swift
…
issue-52838.swift
…
issue-52932.swift
…
issue-53142.swift
…
issue-53495.swift
…
issue-53550.swift
…
issue-54431.swift
…
issue-54555.swift
…
issue-54974.swift
…
issue-55060.swift
…
issue-55182.swift
…
issue-55258.swift
…
issue-55389.swift
…
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
…
issue-56862.swift
…
issue-56932.swift
…
issue-57264.swift
…
issue-57339.swift
…
issue-58067.swift
…
issue-58069_1.swift
…
issue-58069_2.swift
…
issue-58100.swift
…
issue-58285.swift
…
issue-58301.swift
…
issue-61020.swift
…
issue-61192.swift
…
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
…
materializable_restrictions.swift
…
max_concrete_nesting.swift
…
member_type_of_superclass_bound.swift
…
minimal_conformances_compare_concrete.swift
…
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
…
non_generic_derived_class.swift
…
occurs_check_diagnostic.swift
…
opaque_archetype_concrete_requirement_invalid.swift
…
opaque_archetype_concrete_requirement_recursive_rejected.swift
…
opaque_archetype_concrete_requirement_recursive.swift
…
opaque_archetype_concrete_requirement.swift
…
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
…
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
…
protocol_self_concrete_error.swift
…
protocol_superclass_cycle.swift
…
protocol_type_aliases.swift
…
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
…
rdar62903491.swift
…
rdar63731199.swift
…
rdar65015626.swift
…
rdar65263302.swift
…
rdar68084643.swift
…
rdar74321043.swift
…
rdar74890907.swift
…
rdar75171977.swift
…
rdar75656022.swift
…
rdar75691385.swift
…
rdar76750100.swift
…
rdar77462797.swift
…
rdar77683844.swift
…
rdar77807692.swift
…
rdar78233378.swift
…
rdar78643612.swift
…
rdar79564324.swift
…
rdar79570734.swift
…
rdar80503090.swift
…
rdar83308672.swift
…
rdar83687967.swift
…
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
…
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
…
rdar115538574.swift
…
rdar116434843.swift
…
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
…
rdar136686001.swift
RequirementMachine: Skip protocol type aliases that contain unbound dependent member types
2025-03-26 10:55:23 -04:00
rdar139232031.swift
…
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
…
redundant_concrete_conformance.swift
…
redundant_inferred_requirement_order.swift
…
redundant_parent_path_in_protocol.swift
…
redundant_protocol_composition.swift
…
redundant_protocol_inheritance_via_concrete.swift
…
redundant_protocol_refinement.swift
…
redundant_requirement_self_conforming_protocol.swift
…
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
…
requirement_inference_objc.swift
…
requirement_inference_preconcurrency.swift
…
requirement_inference.swift
…
requirement_machine_diagnostics.swift
…
runaway_conformance_access_path.swift
…
same_type_constraints_objc.swift
…
same_type_constraints.swift
…
same_type_minimize_concrete.swift
…
same_type_requirements_in_protocol.swift
…
shadowed_generic_params.swift
…
simplify_concrete_substitutions_projection.swift
…
simplify_concrete_substitutions.swift
…
simplify_rhs_elimination_order.swift
…
slice_test.swift
…
specialized_conformance_type_witness.swift
…
split_concrete_equivalence_class_in_protocol.swift
…
split_concrete_equivalence_class.swift
…
superclass_and_concrete_requirement.swift
…
superclass_and_layout_requirement.swift
…
superclass_constraint_nested_type.swift
…
superclass_constraint_self_derived.swift
…
superclass_constraint.swift
…
superclass_requirement_and_objc_existential.swift
…
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
…
unify_concrete_types_1.swift
…
unify_concrete_types_2.swift
…
unify_nested_types_1.swift
…
unify_nested_types_2.swift
…
unify_nested_types_3.swift
…
unify_nested_types_4.swift
…
unify_nested_types_5.swift
…
unify_protocol_composition.swift
…
unify_superclass_types_1.swift
…
unify_superclass_types_2.swift
…
unify_superclass_types_3.swift
…
unify_superclass_types_4.swift
…
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
…
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
…