Slava Pestov 3e7e297d06 Sema: Promote subtype bindings too in one narrow case ...

I'd like to get this working in general, but for now this fixes some
'failed to diagnose' cases, and addresses another regression in an
existing test when -solver-enable-promote-supertypes is on.

2026-09-23 14:11:47 -04:00

..

ImplicitOpenExistentials

Fix for "Sema: Upgrade 'any C & P' to 'C' if needed to satisfy a conformance constraint"

2026-06-17 15:25:10 -06:00

Inputs

…

add_with_nil.swift

…

ambiguity_diagnostics.swift

…

ambiguous_specialized_name_diagnostics.swift

Sema: Tighten ridiculous disambiguation hack for overloaded type declarations

2025-12-09 22:48:12 -05:00

anyhashable_and_operator_filtering.swift

Allow Equatable: ~Escapable (#85854)

2025-12-08 09:50:50 -08:00

anyhashable-collection-cast.swift

…

argument_matching.swift

Sema: Minor test updates

2026-06-29 22:12:12 -04:00

array_literal_local_array.swift

…

array_literal.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

assignment.swift

[CSSimplify] Prevent missing call fix from recording fixes while matching types

2025-06-23 13:38:38 -07:00

associated_self_types.swift

…

associated_types.swift

…

associated-types-mixed-explicit-inferred.swift

…

async.swift

test: Use deployment targets instead of availability in some tests

2026-02-25 09:20:11 -08:00

bidirectional_conversions_objc.swift

Sema: Fix null pointer dereference in canPossiblyConvertTo()

2026-02-15 22:09:26 -05:00

bidirectional_conversions.swift

Sema: Disambiguate some more bidirectional conversions

2025-12-09 18:31:59 -05:00

binding_order_silgen.swift

Sema: Remove special handling of Any in BindingProducer

2026-06-11 15:55:58 -04:00

binding_order.swift

Sema: Promote Supertype bindings to Exact based on adjacency

2026-09-18 22:30:21 -04:00

binding_subtype_supertype_preference.swift

Sema: Promote Supertype bindings to Exact based on adjacency

2026-09-18 22:30:21 -04:00

bridging_nonobjc.swift

…

bridging-nsnumber-and-nsvalue.swift.gyb

[Tests] NFC: Update all of the test-cases improved by changes to generic argument mismatch handling

2025-06-03 00:49:06 -07:00

bridging.swift

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

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

callAsFunction.swift

[CS] Better handle rewriting implicit callAsFunction call splitting

2026-03-21 13:45:27 +00:00

casts_objc.swift

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

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

casts_swift6.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

casts.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

class_to_object_in_collection.swift

…

class.swift

…

closure_optional_chain.swift

…

closure_resolution_order.swift

…

closures.swift

Sema: Promote Supertype bindings to Exact based on adjacency

2026-09-18 22:30:21 -04:00

collection-mutablecollection-order-dependency-1.swift

…

collection-mutablecollection-order-dependency-1g.swift

…

collection-mutablecollection-order-dependency-2.swift

…

collection-mutablecollection-order-dependency-3.swift

…

collection-of-function.swift

…

common_type_objc.swift

…

common_type.swift

[ConstraintSystem] Disable performance hacks by default

2025-06-27 23:43:09 -07:00

concrete-overload-required.swift

…

conditionally_defined_types.swift

…

construction.swift

CSApply: Honor a pattern binding's explicit type annotation in its interface.

2026-06-04 10:50:07 -07:00

conversion_chains.swift

Sema: Split off test/Sema/conversion_chains.swift from protocols.swift and add more tests

2026-03-11 15:26:46 -04:00

default_literals_swift4.swift

…

default_literals.swift

…

dependent_type_requirement_failure.swift

…

diag_ambiguities_module.swift

…

diag_ambiguities.swift

[test] Add test for unapplied operator mismatch

2026-05-07 11:51:06 +01:00

diag_missing_arg.swift

[CSSimplify] If type of a synthesized argument variable has type variables they can be holes

2026-07-06 15:21:09 -07:00

diagnostics_swift4.swift

…

diagnostics.swift

[CS] Bail from holed keypath dynamic member constraint

2026-08-24 21:40:35 +01:00

dictionary_literal.swift

Sema: Add more tests

2026-03-29 23:23:18 -04:00

disable_availability_checking.swift

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

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

disambiguate_iuo_param.swift

…

disfavored.swift

[CSOptimizer] All the candidates should match Any parameter type

2025-08-13 14:59:54 -07:00

dynamic_lookup_swift6.swift

…

dynamic_lookup.swift

[MiscDiagnostics] Modernize checkUseOfMetaTypeName

2026-01-13 10:09:37 -08:00

dynamic_member_lookup_closure_result.swift

[CSApply] Don't set callee to subscript(dynamicMember:) for dynamic calls

2026-06-16 11:14:57 -07:00

enum_cases.swift

[diagnostics] Partial reversion of member lookup impact

2026-04-07 11:39:34 +01:00

enumerate_supertypes.swift

Sema: Introduce -solver-{enable,disable}-enumerate-supertypes flag

2026-06-29 19:07:35 -04:00

ErrorBridging.swift

…

existential_metatypes.swift

[CSSimplify] Remove all InstanceType at the end of a locator to diagnose mismatched existential conversion

2025-10-06 14:01:28 -07:00

fixes.swift

[CSSimplify] Look through optional injection to diagnose argument/generic parameter mismatches

2026-07-06 15:21:09 -07:00

foreach_makeiterator_ambig.swift

Revert "[CS] Add for loop compatibility hack for makeIterator/next ranking"

2026-02-06 12:47:25 +00:00

function_conversion.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

function.swift

Sema: Replace Type::join() call with subtypeJoin() in CSBindings.cpp

2026-06-17 15:24:40 -06:00

gather_all_adjacencies.swift

…

generic_construction_deduction.swift

…

generic_overload_filtering_with_typed_throws.swift

[CSSolver] Exclude overloads that are generic only over an error type from generic overload optimization

2026-02-26 12:00:50 -08:00

generic_overload.swift

…

generic_protocol_witness.swift

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

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

generic_super_constraint.swift

…

generics.swift

[test] Add extra test case for popFirst on Array

2026-06-19 19:25:16 +01:00

if_expr.swift

[CS] Avoid binding pattern to hole before if/switch expression

2026-07-15 18:40:08 +01:00

if_switch_expr_cgfloat_double_conversion.swift

AST: Factor out ASTContext::get{CGFloat,Double}InitDecl() from CSApply.cpp

2026-03-20 15:56:32 -04:00

implicit_double_cgfloat_conversion_hacks.swift

Sema: Remove some old performance hacks

2026-06-22 23:27:26 -04:00

implicit_double_cgfloat_conversion.swift

Sema: Fix test

2026-09-17 10:54:19 -04:00

implicit_last_exprs_double_cgfloat_conversion.swift

AST: Factor out ASTContext::get{CGFloat,Double}InitDecl() from CSApply.cpp

2026-03-20 15:56:32 -04:00

imported_rawValue_assignment.swift

…

imported-overload.swift

…

incomplete_function_ref.swift

…

inherited_generic_conformance.swift

…

init_literal_via_coercion.swift

…

initializer_result_type_hack.swift

Sema: Remove some old performance hacks

2026-06-22 23:27:26 -04:00

invalid_archetype_constraint.swift

…

invalid_constraint_lookup.swift

[CS] Allow contextual types with errors

2025-08-29 15:04:20 +01:00

invalid_decl_ref.swift

Sema: Tighten ridiculous disambiguation hack for overloaded type declarations

2025-12-09 22:48:12 -05:00

invalid_implicit_conversions.swift

[Tests] NFC: Update all of the test-cases improved by changes to generic argument mismatch handling

2025-06-03 00:49:06 -07:00

invalid_logicvalue_coercion.swift

…

invalid_metatype_bridging_header.swift

…

invalid_stdlib_2.swift

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

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

invalid_stdlib.swift

Sema: Fix crash when declaring an old-style variadic parameter with nonescaping type

2026-05-18 10:49:23 -04:00

issue-45309.swift

…

issue-47241.swift

…

issue-47827.swift

…

issue-49646.swift

…

issue-49968.swift

…

issue-50410.swift

…

issue-50419.swift

…

issue-51599.swift

…

issue-52072.swift

…

issue-52724.swift

[Tests] NFC: Remove -disable-constraint-solver-performance-hacks since hacks are now disabled by default

2025-06-27 23:44:36 -07:00

issue-52995.swift

…

issue-53125.swift

…

issue-53147.swift

…

issue-53296.swift

…

issue-53305.swift

…

issue-54705.swift

…

issue-54799.swift

…

issue-54820.swift

…

issue-54962.swift

…

issue-55410.swift

Revert "Reapply #87697 and fix overload resolution for Sequence+AsyncSequence types. (#88442)" (#88713)

2026-04-30 16:01:48 +01:00

issue-55623.swift

…

issue-56212.swift

…

issue-56348.swift

…

issue-56387.swift

…

issue-58019.swift

…

issue-60552.swift

Sema: Fix leading dot with protocol composition or parameterized protocol contextual type

2025-07-03 00:19:48 -04:00

issue-60806.swift

[ASTDumper] Dump DeclContext

2025-02-12 10:53:33 -08:00

issue-60808.swift

…

issue-61733.swift

[Tests] NFC: Add more tests for interaction between existential opening and compositions + marker protocols

2026-03-24 10:20:57 -07:00

issue-64621.swift

…

issue-66553.swift

[CS] Set the naming pattern in markInvalid

2025-09-09 13:48:40 +01:00

issue-66561.swift

…

issue-67906.swift

…

issue-71040.swift

…

issue-71273.swift

…

issue-71282.swift

…

issue-77008.swift

…

issue-77315.swift

Sema: Fix crash in type resolution when tuple type contains type variables

2025-01-24 17:05:20 -05:00

issue-77393.swift

AST: Quote attributes more consistently in DiagnosticsParse.def

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

issue-77924.swift

[CS] Simplify Solution::resolveInterfaceType

2024-12-31 18:39:19 +00:00

issue-79444.swift

[CS] Fix DeclContext for multi-statement closure captures

2025-02-18 11:30:22 +00:00

issue-79474.swift

[CS] Avoid binding unwrapped type for SingleValueStmtExpr

2026-02-26 23:53:16 +00:00

issue-81023.swift

[Tests] NFC: Update all of the test-cases improved by changes to generic argument mismatch handling

2025-06-03 00:49:06 -07:00

issue-85942.swift

Revert "Reapply #87697 and fix overload resolution for Sequence+AsyncSequence types. (#88442)" (#88713)

2026-04-30 16:01:48 +01:00

issue-87280.swift

[test] Add fixed type-checker test case

2026-02-17 21:22:12 +00:00

issue-87300.swift

Sema: Add more tests

2026-03-21 08:48:47 -04:00

issue-87552.swift

Sema: Add bookkeeping for collection element type bindings

2026-08-14 14:41:42 -04:00

issue-90628.swift

[CSSimplify] Passing a closure with captures to @autoclosure parameter should incur score increase

2026-07-13 14:13:40 -07:00

issue-91701.swift

Sema: Promote Supertype bindings to Exact based on adjacency

2026-09-18 22:30:21 -04:00

iuo_objc.swift

…

iuo.swift

[Sema] Don't force interface type of VarDecl in getIUOReferenceKind (#88531)

2026-04-18 18:56:55 +01:00

keypath_closure_conv_mismatch_generic.swift

Sema: Improve diagnostic on invalid keypath to function conversion

2026-09-08 19:09:57 -04:00

keypath_closure_conv_mismatch_norettype.swift

Sema: Improve diagnostic on invalid keypath to function conversion

2026-09-08 19:09:57 -04:00

keypath_closure_conv_mismatch.swift

Sema: Improve diagnostic on invalid keypath to function conversion

2026-09-08 19:09:57 -04:00

keypath_dynamic_member_lookup_errors.swift

[Diagnostics] Diagnose incorrect use of subscript(dynamicMember:) with ReferenceWritableKeyPath

2026-07-06 15:21:09 -07:00

keypath_dynamic_member_lookup.swift

[CS] Bail from holed keypath dynamic member constraint

2026-08-24 21:40:35 +01:00

keypath_protocol_metatype.swift

Diagnose static key path members on protocol metatypes

2026-06-01 13:12:14 -07:00

keypath_root_inference.swift

Sema: Dig one level deeper in inferTransitiveKeyPathBindings()

2026-06-29 19:07:35 -04:00

keypath_swift_5.swift

…

keypath.swift

Sema: Introduce -solver-{enable,disable}-enumerate-supertypes flag

2026-06-29 19:07:35 -04:00

lvalues.swift

Sema: Compute joins of types containing type variables

2026-08-21 14:54:52 -04:00

members_objc.swift

…

members.swift

AST: Note the attribute that makes a declaration unavailable.

2026-08-11 08:03:18 -07:00

metatypes.swift

…

moveonly_tuples.swift

Sema: Fix spurious diagnostic about move-only tuples

2025-10-03 14:24:10 -04:00

mutating_members_compat.swift

…

mutating_members.swift

…

nested_generics.swift

…

nested_pack_expansion.swift

…

nil-coalescing-ambiguity.swift

Sema: Special handling for array and dictionary literal element defaults

2026-06-17 15:24:40 -06:00

nil-coalescing-favoring.swift

[CSOptimizer] Skip ?? if it's involved in optional chain with unresolved result type

2025-11-11 15:21:33 -08:00

noderivative.swift

…

objc_optional_methods_diagnostics.swift

…

observable_macro_shadowing.swift

…

old_hack_related_ambiguities.swift

Sema: Add test case for bug that has since been fixed

2026-03-10 14:47:30 -04:00

one_element_tuple.swift

…

operator_generics_vs_erasure.swift

[CSOptimizer] Score candidate matches that require easure lower for operators

2026-03-30 11:39:56 -07:00

operator.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

optional.swift

[CSSimplify] Propagate holes to members when base itself is a hole

2026-07-06 15:21:09 -07:00

overload_filtering_objc.swift

Sema: Clean up duplicated implementation of OverloadChoice::dump()

2026-03-10 14:47:31 -04:00

overload_filtering.swift

Sema: Clean up duplicated implementation of OverloadChoice::dump()

2026-03-10 14:47:31 -04:00

overload.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

override.swift

…

pack_expansion_types.swift

Sema: Fix crash with invalid usage of pack expansions

2026-07-08 10:12:42 -04:00

pack-expansion-expressions.swift

test: Turn this Sema test into a fixed SILGen crasher

2026-02-26 17:20:38 +00:00

parameterized_existential_composition.swift

test: Remove -disable-availability-checking in Constraint and Casting tests.

2026-02-25 09:25:30 -08:00

parameterized_existential_unrelated_args.swift

Sema: Relax primary associated type matching in matchExistentialTypes()

2025-01-10 15:37:10 -05:00

parameterized_existentials.swift

[Sema] Fix diagnostic generation for missing protocol conformance.

2026-06-30 15:37:43 +01:00

patterns.swift

[CSGen] Allow a base of enum element pattern to be a hole

2026-07-06 15:21:09 -07:00

phantom_existential_typealias.swift

…

pr39543.swift

…

protocol_extension_operator.swift

Sema: Remove -solver-{enable,disable}-optimize-operator-defaults flags

2026-06-22 23:27:26 -04:00

protocols.swift

Sema: Fix regression from bookkeeping for array literal element type bindings

2026-08-20 13:25:24 -04:00

ranking_ambiguities.swift

…

ranking.swift

AST: Remove UUID usage for local GenericEnvironments

2026-07-24 00:03:44 -04:00

rdar32726044.swift

…

rdar35142121.swift

…

rdar36226874.swift

…

rdar37160679.swift

…

rdar37291371.swift

…

rdar37303482.swift

…

rdar37790062.swift

…

rdar38535743.swift

…

rdar38625824.swift

…

rdar39209245.swift

…

rdar39401774.swift

…

rdar39931339.swift

…

rdar39931475.swift

…

rdar40002266.swift

…

rdar40945329.swift

…

rdar42056741.swift

…

rdar42678836.swift

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

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

rdar42750089.swift

…

rdar44569159.swift

…

rdar44770297.swift

[CSSimplify] Remove ad-hoc optional mismatch handling for arguments

2025-05-30 09:52:57 -07:00

rdar44816848.swift

Sema: -enable-crash-on-valid-salvage => -enable-diagnose-valid-salvage

2026-07-24 14:51:36 -04:00

rdar45242032.swift

…

rdar45415874.swift

…

rdar45490737.swift

Sema: Replace Type::join() call with subtypeJoin() in CSBindings.cpp

2026-06-17 15:24:40 -06:00

rdar45511837.swift

…

rdar46377919.swift

…

rdar46544601.swift

…

rdar47787705.swift

…

rdar62201037.swift

…

rdar62842651.swift

…

rdar62890683.swift

…

rdar65254452.swift

…

rdar65320500.swift

…

rdar66234725.swift

…

rdar68155466.swift

Guard feature behind experimental flag.

2025-03-19 10:54:09 -07:00

rdar71858936.swift

…

rdar82828226.swift

…

rdar85263844_swift6.swift

Sema: Add bookkeeping for collection element type bindings

2026-08-14 14:41:42 -04:00

rdar105080067.swift

…

rdar105781521.swift

…

rdar105782480.swift

…

rdar106598067.swift

Sema: Completely rework BindingSet::computeJoinsAndMeets() again

2026-06-17 15:24:40 -06:00

rdar107420031.swift

…

rdar107651291.swift

…

rdar107709341.swift

…

rdar107724970.swift

…

rdar108738034.swift

…

rdar109419240.swift

…

rdar110617471.swift

…

rdar112264204.swift

…

rdar113025351.swift

…

rdar113326835.swift

…

rdar114402042.swift

…

rdar116956363.swift

…

rdar119055010.swift

…

rdar120791071.swift

…

rdar121214563.swift

…

rdar139234188.swift

…

rdar139812024.swift

AST: Note the attribute that makes a declaration unavailable.

2026-08-11 08:03:18 -07:00

rdar139913219.swift

…

rdar140212823.swift

…

rdar143340082.swift

Sema: Ignore inactive type variables in addTypeVariableConstraintsToWorkList()

2025-01-27 10:26:59 -05:00

rdar143474242.swift

Sema: Rework change recording in PotentialBindings::retract()

2025-02-04 20:26:12 -05:00

rdar145092838.swift

Sema: Don't record constraints containing UnboundGenericType from shrink()

2025-02-19 13:27:33 -05:00

rdar145593552.swift

[AST] Look through specializations in getDirectCallee

2025-02-26 10:02:55 +00:00

rdar146383201.swift

[CS] Check hasType in isPlaceholderVar

2025-06-02 14:33:10 +01:00

rdar154553285.swift

[CS] Avoid escaping solver-allocated types in computeSubstitutions

2025-06-28 11:19:13 +01:00

rdar158063151.swift

Allow Equatable: ~Escapable (#85854)

2025-12-08 09:50:50 -08:00

rdar160135085.swift

[CS] Quick workaround for rdar://160135085

2025-09-23 14:36:06 +01:00

rdar165863775.swift

Sema: Tighten ridiculous disambiguation hack for overloaded type declarations

2025-12-09 22:48:12 -05:00

rdar168932385.swift

[TypeChecker] NFC: Add a test-case where leading-dot syntax depends on unrelated bindings

2026-01-27 14:42:46 -08:00

rdar174289721.swift

Sema: Use subtypeMeet() to compute the meet of subtype bindings

2026-07-14 10:51:08 -04:00

rdar181264379.swift

Sema: Consider toll-free bridging in type join implementation

2026-08-28 08:34:55 -04:00

rdar185642962.swift

Sema/SILGen: Add some assertions and a regression test

2026-08-25 10:50:56 -04:00

rdar186647709.swift

Sema: Teach checkConversion() about tuple splats

2026-09-18 14:32:57 -04:00

recursive_concrete_constraints.swift

…

requirement_failures_in_contextual_type.swift

…

requirement_opening.swift

[CS] Fix typealias handling in InferableTypeOpener

2025-09-23 14:36:06 +01:00

result_builder_ast_transform.swift

Test: establish current OpaqueValues XFAILs

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

result_builder_binding_order.swift

Sema: Strengthen BindingSet::favoredOverConjunction()

2026-02-26 23:06:41 -05:00

result_builder_conjunction_selection.swift

Sema: Clean up duplicated implementation of OverloadChoice::dump()

2026-03-10 14:47:31 -04:00

result_builder_diags.swift

[ConstraintSystem] Don't record a fix when invalid pattern couldn't be resolved

2026-07-06 15:19:39 -07:00

result_builder_empty_case.swift

…

result_builder_generic_exec.swift

…

result_builder_generic_infer.swift

…

result_builder_infer.swift

…

result_builder_infer.swiftinterface

…

result_builder_invalid_stmts.swift

…

result_builder_member_import_visibility.swift

Sema: Adjust result builder operation lookup for MemberImportVisibility.

2025-03-10 20:54:41 -07:00

result_builder_nested_diags.swift

…

result_builder_opaque_result_structural.swift

…

result_builder_opaque_result.swift

…

result_builder_switch_with_vars.swift

[BuilderTransform] Case: Save result of buildBlock into a variable before using in buildEither

2025-02-25 13:09:34 -08:00

result_builder_vars.swift

…

result_builder.swift

Fix support for result builder synthesized inits in non-generic structs

2026-03-17 10:37:50 -07:00

salvage_fixed.swift

Sema: Fix a solved-in-salvage issue due to disjunction pruning

2026-09-18 14:32:57 -04:00

same_types.swift

[Sema] Insert ErrorType same-type constraints for placeholder signatures

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

sendable_dependence.swift

[CS] Use Sendable dependence in adjustFunctionTypeForConcurrency

2026-01-27 11:06:54 +00:00

solution_with_holes.swift

Sema: Add flag to force a crash if salvage() found a valid solution

2026-02-13 08:18:26 -05:00

specialization_with_shadowing.swift

…

static_member_on_protocol_with_opaque_result.swift

…

sub-pattern-matching-of-enum-element-for-closure.swift

…

subclass_shadows_operator_equals.swift

Sema: Handle ArchetypeType and DynamicSelfType in determineBestChoicesInContext()

2025-07-23 17:22:42 -04:00

subscript_swift6.swift

…

subscript.swift

[MiscDiagnostics] Modernize checkUseOfMetaTypeName

2026-01-13 10:09:37 -08:00

super_constructor.swift

…

super_method.swift

…

suspicious_bit_casts.swift

AST: Quote attributes more consistently in DiagnosticsParse.def

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

swift_to_c_pointer_conversions_sil.swift

…

swift_to_c_pointer_conversions.swift.gyb

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

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

switch_expr.swift

[test] Add an test case for an already-fixed diagnostic

2026-07-15 18:40:08 +01:00

ternary_expr.swift

[CSBindings] Don't use iterator after calling erase

2026-01-16 15:15:18 -08:00

then_stmt.swift

…

too_complex_source_location.swift

Sema: Fix source location bookkeeping for 'reasonable time' diagnostic

2025-12-06 20:31:08 -05:00

transitive_literal_inference.swift

Sema: Promote subtype bindings too in one narrow case

2026-09-23 14:11:47 -04:00

try_swift5.swift

…

tuple_arguments.swift

Lifetimes: ~Escapable function type tests

2026-04-30 16:30:46 +01:00

tuple_shuffle.swift

[Sema] Upgrade tuple shuffle warning to error in future lang mode

2025-10-29 15:14:23 +00:00

tuple_subtype_label_mismatch.swift

[CSRanking] Restore tuple label stripping in function parameter/result positions

2026-01-09 13:59:05 -08:00

tuple-arguments-supported.swift

…

tuple-arguments-unsupported.swift

Revert "Change reduce to take initial and partial value consuming"

2026-07-17 11:22:14 -07:00

tuple.swift

Sema: Filter bindings by considering conformance constraints

2026-03-10 14:47:28 -04:00

type_inference_from_default_closure.swift

…

type_inference_from_default_exprs_executable_test.swift

…

type_inference_from_default_exprs_swift7.swift

[Sema] Downgrade multi-param default inference diag for methods

2025-05-31 17:33:58 +01:00

type_inference_from_default_exprs.swift

[Sema] Remove DiagnosticTransaction from CallerSideDefaultArgExprRequest

2026-07-28 12:11:50 +01:00

type_of_verified.swift

…

type_of.swift

[CSSimplify] Don't attempt overload choices of all call arguments are invalid

2026-06-01 11:28:19 -07:00

unapplied_method_in_property_init.swift

[Diagnostic] remove tautalogical error message

2026-07-06 12:23:14 +01:00

unchecked_optional.swift

…

valid_implicit_conversions.swift

…

valid_pointer_conversions.swift

[CS] Handle packs in increaseScoreForGenericParamPointerConversion

2025-11-10 14:26:25 +00:00

variadic_generic_constraints.swift

Sema: Tweak a few tests to pass with -solver-enable-{promote-supertypes,type-var-joins}

2026-09-23 14:11:47 -04:00

variadic_generic_functions.swift

…

variadic_generic_init.swift

…

variadic_generic_overload_ranking.swift

test: Remove -disable-availability-checking in Constraint and Casting tests.

2026-02-25 09:25:30 -08:00

variadic_generic_types.swift

Add regression test for https://github.com/swiftlang/swift/issues/69390

2025-01-11 14:21:00 +00:00

warn_long_compile.swift

test: Fix flaky test

2026-05-28 06:22:18 +01:00

weak.swift

…

without_actually_escaping_no_errors.swift

…

without_actually_escaping.swift

…