averello/swift-mirror
1
0 Fork 0
mirror of https://github.com/apple/swift.git synced 2026-10-08 12:50:50 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
jgrynspan/executablePath
swift-mirror/test/Constraints
T
History
Slava Pestov 86817924dd Merge pull request #90658 from slavapestov/subtype-meat 
Sema: Compute meet of subtype bindings
2026-07-17 09:27:45 -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: Add more tests
2026-03-29 23:23:18 -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
[CSSimplify] Increase score of collection element contextual mismatch
2026-07-10 13:25:34 -07: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
[CSBindings] Fix LiteralRequirement::isCoveredBy to not produce a type if it wasn't adjusted
2026-01-16 16:04:01 -08:00
casts.swift
…
class_to_object_in_collection.swift
…
class.swift
…
closure_optional_chain.swift
…
closure_resolution_order.swift
…
closures.swift
[CSSimplify] Increase score of collection element contextual mismatch
2026-07-10 13:25:34 -07: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
Sema: Introduce -solver-{enable,disable}-enumerate-supertypes flag
2026-06-29 19:07:35 -04: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 in Constraint and Casting tests.
2026-02-25 09:25:30 -08: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: Add a couple of test cases
2026-06-29 19:07:20 -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
…
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
…
issue-77393.swift
AST: Quote attributes more consistently in DiagnosticsParse.def
2025-04-22 18:23:40 +01:00
issue-77924.swift
…
issue-78376.swift
…
issue-79444.swift
…
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
[CS] Avoid binding unwrapped type for SingleValueStmtExpr
2026-02-26 23:53:16 +00: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
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
…
keypath_closure_conv_mismatch_norettype.swift
…
keypath_closure_conv_mismatch.swift
…
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
tests: require an optimized stdlib for two tests
2026-07-14 11:14:24 +02: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
[CSSimplify] Don't ignore type mismatches in "destination" of a mutating operator
2026-07-09 09:24:20 -07:00
members_objc.swift
…
members.swift
[ConstraintSystem] Propagate a hole from function value to arguments/result
2026-06-01 11:28:20 -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
[CSSimplify] Increase score of collection element contextual mismatch
2026-07-10 13:25:34 -07: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
[CSSimplify] Increase score of collection element contextual mismatch
2026-07-10 13:25:34 -07: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
…
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
[CSSimplify] Rework diagnostic handling in matchExistentialTypes
2026-07-06 15:21:09 -07:00
ranking_ambiguities.swift
…
ranking.swift
[CS] Add for loop compatibility hack for makeIterator/next ranking
2026-01-27 23:30:43 +00: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
Run tests with -solver-enable-crash-on-valid-salvage
2026-02-13 09:57:22 -05: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
…
rdar71858936.swift
…
rdar82828226.swift
…
rdar85263844_swift6.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07: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
…
rdar139913219.swift
…
rdar140212823.swift
…
rdar143340082.swift
…
rdar143474242.swift
…
rdar145092838.swift
…
rdar145593552.swift
…
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
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
…
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
…
result_builder_nested_diags.swift
…
result_builder_opaque_result_structural.swift
…
result_builder_opaque_result.swift
…
result_builder_switch_with_vars.swift
…
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 over-eager binding with optional object constraint
2026-02-24 21:34:38 -05: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: Add a new test to record some broken behavior
2026-03-11 15:26:46 -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 "Reapply #87697 and fix overload resolution for Sequence+AsyncSequence types. (#88442)" (#88713)
2026-04-30 16:01:48 +01: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] Downgrade multi-param default inference diag for methods
2025-05-31 17:33:58 +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
Remove diag::type_of_expression_is_ambiguous
2025-08-19 17:14:23 +01: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
…
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
…