averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
d3214de950fd953c17d1f900179761ddde99f586
swift-mirror/test/Constraints
History
Henrik G. Olsson d3214de950 Merge pull request #84685 from hnrklssn/verify-all 
This adds the -verify-ignore-unrelated flag. When -verify is used without -verify-ignore-unrelated, diagnostics emitted in buffers other than the main file and those passed with -verify-additional-file (except diagnostics emitted at <unknown>:0) will now result in an error. They were previously ignored. The old behaviour is still available as opt-in using -verify-ignore-unrelated, but by being strict by default it should make it harder to accidentally miss diagnostics.

To avoid unnecessary performance overhead, -verify-additional-file is still required to parse the expected-* directives in files other than the main file.
2025-10-06 18:01:47 -07:00
..
Inputs
[TypeChecker] SE-0324: Extend Swift -> C pointer conversions to inout
2022-05-25 20:55:22 -07:00
add_with_nil.swift
…
ambiguity_diagnostics.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
ambiguous_specialized_name_diagnostics.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
anyhashable_and_operator_filtering.swift
[CSSolver] Don't skip generic overloads when non-generic one has SK_UserConversion
2022-07-18 17:30:45 -07:00
anyhashable-collection-cast.swift
…
argument_matching.swift
Frontend: Obsolete -fixit-all and -emit-fixits-path
2025-05-07 02:30:30 +01:00
array_literal_local_array.swift
Gardening: Migrate test suite to GH issues: Constraints (1/5)
2022-08-17 15:21:51 +03:00
array_literal.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07: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
[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-mixed-explicit-inferred.swift
…
async.swift
[ConstraintSystem] Disable performance hacks by default
2025-06-27 23:43:09 -07:00
bidirectional_conversions.swift
[CSSimplify] CGFloat-Double: Rank narrowing correctly when result is injected into an optional
2025-06-27 23:43:09 -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
[Sema] Improve diagnostic for closure return contextual mismatch
2022-09-04 22:28:49 -03:00
casts_objc.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
casts_swift6.swift
[ConstraintSystem] Disable performance hacks by default
2025-06-27 23:43:09 -07:00
casts.swift
[CSBinding] Prefer array literal type over a disjunction in certain cases
2023-11-30 17:43:13 -08:00
class_to_object_in_collection.swift
…
class.swift
…
closure_optional_chain.swift
[AST] Remove the "single expression body" bit
2024-01-30 14:08:54 +00:00
closure_resolution_order.swift
[TypeChecker] NFC: Add a test-case for rdar://113745963
2023-08-14 10:02:47 -07:00
closures.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -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
[Diagnostics] Clarify the wording of error_in_future_swift_version.
2024-03-01 12:05:51 -08:00
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
Sema: Reword diagnostics to say 'without a type annotation' instead of 'without more context'
2023-06-09 17:44:42 -04:00
default_literals_swift4.swift
…
default_literals.swift
…
dependent_type_requirement_failure.swift
…
diag_ambiguities_module.swift
…
diag_ambiguities.swift
[stdlib] Allow a default for optional interpolations (#80547)
2025-05-07 12:47:02 -05:00
diag_missing_arg.swift
[CS] Sink placeholder handling logic into Solution::simplifyType
2025-10-04 12:56:52 +01:00
diagnostics_swift4.swift
Sema: Reword diagnostics to say 'without a type annotation' instead of 'without more context'
2023-06-09 17:44:42 -04:00
diagnostics.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
dictionary_literal.swift
Revert "Sema: Emit diagnostics when walking into collection literals with defaulted types"
2023-04-20 21:55:40 +03: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
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
dynamic_lookup.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
enum_cases.swift
Update tests for map switching to typed throws
2024-01-12 10:17:59 -08:00
ErrorBridging.swift
Gardening: Migrate test suite to GH issues: Constraints (1/5)
2022-08-17 15:21:51 +03:00
existential_metatypes.swift
[CS] Fix an overly strict assert
2025-08-29 00:17:14 +01:00
fixes.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
function_conversion.swift
AST: Quote attributes more consistently in DiagnosticsSema.def
2025-04-22 18:23:36 +01:00
function.swift
AST: Quote attributes more consistently in DiagnosticsSema.def
2025-04-22 18:23:36 +01:00
gather_all_adjacencies.swift
Gardening: Migrate test suite to GH issues: Constraints (1/5)
2022-08-17 15:21:51 +03:00
generic_construction_deduction.swift
…
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
Stop passing -warn-redundant-requirements in tests
2024-02-02 14:57:19 -05:00
generics.swift
Merge pull request #84685 from hnrklssn/verify-all
2025-10-06 18:01:47 -07:00
if_expr.swift
[CSSimplify] Remove ad-hoc optional mismatch handling for arguments
2025-05-30 09:52:57 -07:00
if_switch_expr_cgfloat_double_conversion.swift
Introduce if/switch expressions
2023-02-01 15:30:18 +00:00
implicit_double_cgfloat_conversion.swift
[Tests] NFC: Move Double/CGFloat test because it tests local type method which is printed at the end
2025-06-27 23:43:11 -07:00
implicit_last_exprs_double_cgfloat_conversion.swift
[test] Mark tests that use experimental/upcoming features as such
2024-11-02 11:46:46 -07:00
imported_rawValue_assignment.swift
…
imported-overload.swift
…
incomplete_function_ref.swift
…
inherited_generic_conformance.swift
…
init_literal_via_coercion.swift
Rework ASTDumper (#68438)
2023-09-11 23:56:38 -07: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
Rework ASTDumper (#68438)
2023-09-11 23:56:38 -07: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
…
issue-45309.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-47241.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-47827.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-49646.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-49968.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-50410.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-50419.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-51599.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-52072.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
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
[Sema/SourceKit] Emit same diagnostics for missing protocol requirements on the command line and in SourceKit
2024-08-07 14:01:30 -07:00
issue-53125.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-53147.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-53296.swift
Sema: Ban shadowing generic parameters from outer scopes
2023-04-25 17:41:23 -04:00
issue-53305.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-54705.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-54799.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-54820.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
issue-54962.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-55410.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
issue-55623.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-56212.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-56348.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-56387.swift
Gardening: Migrate test suite to GH issues (file names): Constraints
2022-09-18 17:54:31 +03:00
issue-58019.swift
Rework ASTDumper (#68438)
2023-09-11 23:56:38 -07:00
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
[test] Add test case for issue 60808
2023-08-21 12:00:12 +01:00
issue-64621.swift
Sema: Simplify opened existential types in solution
2024-09-04 10:42:19 -04:00
issue-66553.swift
[CS] Set the naming pattern in markInvalid
2025-09-09 13:48:40 +01:00
issue-66561.swift
[CS] Walk ExprPattern conjunction elements when finding type variables
2023-06-12 18:27:26 +01:00
issue-67906.swift
Tests: Remove -disable-availability-checking in variadic generics tests.
2024-10-20 15:37:15 -07:00
issue-71040.swift
[test] Add test case for issue 71040
2024-01-22 13:50:47 +00:00
issue-71273.swift
[Sema] Improve wording of a diagnostic
2024-08-14 19:59:05 +01:00
issue-71282.swift
[CS] Fix locator for if expressions
2024-01-31 21:37:56 +00:00
issue-77008.swift
Sema: Retire disjunctions in trail instead of restoring in ~DisjunctionStep
2024-10-21 17:19:33 -04:00
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-78376.swift
[CS] Don't simplify FunctionResult in simplifyLocator
2024-12-29 12:25:18 +00:00
issue-79444.swift
[CS] Fix DeclContext for multi-statement closure captures
2025-02-18 11:30:22 +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
iuo_objc.swift
[CS] Refactor IUO handling
2021-10-12 14:14:33 +01:00
iuo.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
keypath_closure_conv_mismatch_generic.swift
…
keypath_closure_conv_mismatch_norettype.swift
…
keypath_closure_conv_mismatch.swift
…
keypath_dynamic_member_lookup.swift
[CS] Fix nested subscript dynamic member lookups
2025-08-01 12:29:22 +01:00
keypath_swift_5.swift
[CSDiagnostics] Differentiate between key path type and value issues
2023-11-01 09:15:14 -07:00
keypath.swift
Remove diag::type_of_expression_is_ambiguous
2025-08-19 17:14:23 +01:00
lvalues.swift
[AST] Remove ParenType
2024-10-31 11:32:40 +00:00
members_objc.swift
…
members.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
metatypes.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
moveonly_tuples.swift
Sema: Fix spurious diagnostic about move-only tuples
2025-10-03 14:24:10 -04:00
mutating_members_compat.swift
SR-13976: Improve compiler error message: "partial application of ‘mutating’ method is not allowed”
2021-10-06 19:59:09 +01:00
mutating_members.swift
SR-13976: Improve compiler error message: "partial application of ‘mutating’ method is not allowed”
2021-10-06 19:59:09 +01:00
nested_generics.swift
…
nested_pack_expansion.swift
Tests: Remove -disable-availability-checking in variadic generics tests.
2024-10-20 15:37:15 -07:00
nil-coalescing-favoring.swift
[CSOptimizer] Prevent candidate inference from unresolved generic parameters and ternary expressions
2025-06-27 23:43:11 -07:00
noderivative.swift
[AutoDiff] Fix test/Constraints/noderivative.swift (#67190)
2023-07-10 09:50:06 -07:00
objc_optional_methods_diagnostics.swift
…
observable_macro_shadowing.swift
[PreCheck] Filter out macro declarations from result set
2023-08-31 17:30:14 -07:00
old_hack_related_ambiguities.swift
[CSOptimizer] Consider choices marked as @_disfavoredOverload
2025-06-27 23:43:12 -07:00
one_element_tuple.swift
Tests: Remove -disable-availability-checking in variadic generics tests.
2024-10-20 15:37:15 -07:00
opened_existentials_default_arg.swift
Sema: Partially revert existential opening fix
2025-02-14 22:30:28 +00:00
opened_existentials_feature.swift
[test] Mark tests that use experimental/upcoming features as such
2024-11-02 11:46:46 -07:00
opened_existentials_overload.swift
Sema: Workaround for broken existential opening behavior
2025-09-24 18:01:24 -04:00
opened_existentials_suppression.swift
[LangOptions] Remove the option to enable/disable implicit existential
2022-06-27 18:03:20 -07:00
opened_existentials_type_variable.swift
Sema: Simplify opened existential types in solution
2024-09-04 10:42:19 -04:00
opened_existentials.swift
[CSOptimizer] Add support for opened existential arguments
2025-08-15 00:14:51 -07:00
openExistential.swift
Implement typed throws support in _openExistential.
2024-01-14 14:32:49 -08:00
operator.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
optional.swift
[CSOptimizer] A narrow fix for nil coalescing operator optimization
2025-07-28 00:35:02 -07:00
overload_filtering_objc.swift
Sema: Remove ConstraintSystem::ImplicitValueConversions
2025-01-27 17:28:19 -05:00
overload_filtering.swift
[Tests] Update tests to reflect new output.
2022-09-16 09:17:22 -07:00
overload.swift
[CSOptimizer] Don't reduce the ranking for non-default literal types
2025-06-27 23:43:10 -07:00
override.swift
[AST] Remove ParenType
2024-10-31 11:32:40 +00:00
pack_expansion_types.swift
[CS] Sink placeholder handling logic into Solution::simplifyType
2025-10-04 12:56:52 +01:00
pack-expansion-expressions.swift
Sema: Remove a usage of replaceCovariantResultType()
2025-08-27 15:34:25 -04:00
parameterized_existential_composition.swift
Sema: Allow parameterized existential compositions
2025-05-23 14:14:23 -04: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
Remove diag::type_of_expression_is_ambiguous
2025-08-19 17:14:23 +01:00
patterns.swift
[Sema] Remove some hasError checks for typeCheckPattern
2025-09-28 15:13:55 +01:00
perf_hacks_with_block_list.swift
[TypeChecker] Implement a per-module block list for disjunction optimizer
2025-06-27 23:43:12 -07:00
phantom_existential_typealias.swift
AST: Use TypeTransform::transformSubMap() to transform TypeAliasType
2024-08-21 13:21:47 -04:00
pr39543.swift
[CS] Fix crasher caught by stress tester
2021-10-12 09:51:45 +01:00
protocols.swift
[Diagnostics] Diagnose existential mismatch in a literal collection element position
2025-05-28 14:33:18 -07:00
ranking_ambiguities.swift
[CS] Don't favor based on tuple element types
2021-11-08 13:16:31 +00:00
ranking.swift
[CSOptimizer] Restore old hack behavior which used to favor overloads based on arity matches
2024-12-17 11:36:40 -08:00
rdar32726044.swift
…
rdar35142121.swift
SIL: Model noescape partial_applys with ownership in OSSA.
2023-02-16 21:43:53 -08:00
rdar36226874.swift
…
rdar37160679.swift
…
rdar37291371.swift
…
rdar37303482.swift
…
rdar37790062.swift
…
rdar38535743.swift
…
rdar38625824.swift
…
rdar39209245.swift
…
rdar39401774.swift
…
rdar39931339.swift
Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests
2022-05-10 12:56:17 -04:00
rdar39931475.swift
…
rdar40002266.swift
[test] Adding regression tests for SR-15053
2021-10-11 21:48:28 -03:00
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
…
rdar45242032.swift
…
rdar45415874.swift
…
rdar45490737.swift
…
rdar45511837.swift
…
rdar46377919.swift
…
rdar46544601.swift
[CS] Fix locator simplification with 'Member' path element
2023-03-20 09:19:21 -07:00
rdar47787705.swift
…
rdar60898369.swift
…
rdar62201037.swift
…
rdar62842651.swift
…
rdar62890683.swift
…
rdar65254452.swift
…
rdar65320500.swift
[Sema] Don't abort the result builder transform if the builder contained an ErrorExpr
2023-03-13 15:51:39 -07:00
rdar66234725.swift
…
rdar68155466.swift
Guard feature behind experimental flag.
2025-03-19 10:54:09 -07:00
rdar71858936.swift
…
rdar82828226.swift
[Compiler] add 'value' label for NSNumber to prevent roundabout error message.
2021-09-15 23:23:41 +08:00
rdar85263844_swift6.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
rdar105080067.swift
[CS] Connect isolated conjunctions to referenced VarDecls
2023-02-06 14:25:13 +00:00
rdar105781521.swift
[CS] Allow ExprPatterns to be type-checked in the solver
2023-06-07 00:35:01 +01:00
rdar105782480.swift
[CS] Diagnose UnresolvedPatternExprs as part of constraint solving
2023-06-13 12:14:25 +01:00
rdar106598067.swift
[CS] Diagnose misuse of CheckedCastExpr with ~=
2024-09-24 01:45:51 -04:00
rdar107420031.swift
[CS] Fix coercePatternToType enum cast handling
2023-06-07 00:35:02 +01:00
rdar107651291.swift
[CSGen] Use OptionalObject constraint to connect element type and result of next()
2023-09-29 17:33:07 -07:00
rdar107709341.swift
[CS] Improve diagnostics a bit for pattern mismatch
2023-06-07 00:35:02 +01:00
rdar107724970.swift
[CSDiagnostics] Produce a diagnostic for patterns with extraneous elements
2024-02-26 14:30:29 -08:00
rdar108738034.swift
[Parse] Avoid creating binding patterns in a couple more positions
2023-06-16 21:37:47 +01:00
rdar109419240.swift
[CS] Allow ExprPatterns to be type-checked in the solver
2023-06-07 00:35:01 +01:00
rdar110617471.swift
[CS] Walk into patterns when looking for closure referenced vars
2023-06-12 18:27:24 +01:00
rdar112264204.swift
[CS] Walk UnresolvedDeclRefExprs in UnresolvedVarCollector
2023-07-17 17:32:46 +01:00
rdar113025351.swift
[CS] Avoid emitting invalid binding diagnostic in more cases
2023-07-28 11:22:27 +01:00
rdar113326835.swift
[CS] Solve all conjunctions in source order
2023-08-08 18:08:53 +01:00
rdar114402042.swift
[Sema] Move SingleValueStmtUsageChecker into pre-checking
2024-08-30 18:55:48 +01:00
rdar116956363.swift
[test] Add test case for rdar://116956363
2023-10-24 12:57:51 +01:00
rdar119055010.swift
[CSBindings] Don't favor unresolved key path type over a conjunction
2023-12-01 17:19:25 -08:00
rdar120791071.swift
Sema: Simplify opened existential types in solution
2024-09-04 10:42:19 -04:00
rdar121214563.swift
[Sema] Temporary disable l-value stripping while erasing opened existentials
2024-01-23 19:34:54 -08:00
rdar139234188.swift
[CS] Add a narrow hack for rdar://139234188
2024-11-22 13:43:58 +00:00
rdar139812024.swift
[CSBindings] Revert changes in BindingSet::isViable
2024-11-15 15:46:29 -08:00
rdar139913219.swift
[CSSimplify] Handle invalid type specializations
2024-11-15 11:10:51 -08:00
rdar140212823.swift
[CS] Use adjusted type for single curry thunks
2024-11-21 12:14:00 +00:00
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
[CSOptimizer] Don't match nil to _OptionalNilComparisonType
2025-09-01 20:47:56 -07:00
rdar160135085.swift
[CS] Quick workaround for rdar://160135085
2025-09-23 14:36:06 +01: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
[Tests] NFC: Remove ResultBuilderASTTransform references from tests
2023-03-15 14:29:04 -07:00
result_builder_conjunction_selection.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
result_builder_diags.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
result_builder_empty_case.swift
[Result builder transform] Don't abort when we encounter a case with no statements
2024-11-07 22:58:18 -08:00
result_builder_generic_exec.swift
Sema: Resolve result builder type in innermost decl context
2024-09-10 04:44:21 +03:00
result_builder_generic_infer.swift
Test: updates for NoncopyableGenerics
2024-03-14 23:10:44 -07:00
result_builder_infer.swift
Sema: Result builder inference from dynamically replaced decl should look at getter, not storage
2024-10-11 03:44:42 +03:00
result_builder_infer.swiftinterface
[NFC] Redo and expand result builder inference tests
2024-10-11 03:44:42 +03:00
result_builder_invalid_stmts.swift
[CS] Allow ExprPatterns to be type-checked in the solver
2023-06-07 00:35:01 +01:00
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
[CSSimplify] Fix locator of pack expansion pattern conformance constraint
2024-11-21 15:48:28 -08:00
result_builder_opaque_result_structural.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
result_builder_opaque_result.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
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
[BuilderTransform] NFC: Adjust variable declaration tests
2022-12-21 12:18:02 -08:00
result_builder.swift
Tests: Make Constraints/result_builder.swift compatible with back deployment.
2025-08-26 15:37:32 -07:00
same_types.swift
RequirementMachine: Add two more completion termination checks for concrete type requirements
2025-06-17 17:51:25 -04:00
specialization_with_shadowing.swift
[CSSimplify] Specialization: Fix a crash when specialized declaration is not generic
2024-09-10 21:06:59 -07:00
static_member_on_protocol_with_opaque_result.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
static_members_on_protocol_in_generic_context.swift
Sema: ban extensions of known marker protocols
2024-02-07 14:54:36 -08:00
sub-pattern-matching-of-enum-element-for-closure.swift
[CSSimplify] Fix sub-pattern matching logic related closure and enum element (#62777)
2023-01-03 01:18:38 -08:00
subclass_shadows_operator_equals.swift
Sema: Handle ArchetypeType and DynamicSelfType in determineBestChoicesInContext()
2025-07-23 17:22:42 -04:00
subscript_swift6.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
subscript.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
super_constructor.swift
Sema: Improve error messages for super in illegal context
2024-04-18 23:07:14 +03:00
super_method.swift
Sema: Improve error messages for super in illegal context
2024-04-18 23:07:14 +03:00
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
[ConstraintSystem] De-prioritize solutions with Swift -> C pointer conversions
2021-09-20 17:22:26 -07:00
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
[CS] Ensure DeclContext is switched for if/switch expressions
2025-02-17 12:02:16 +00:00
ternary_expr.swift
Fix hole where missing_nullary_call wasn't diagnosed in ternary condition.
2024-06-16 22:19:48 -07:00
then_stmt.swift
[test] Mark tests that use experimental/upcoming features as such
2024-11-02 11:46:46 -07:00
try_swift5.swift
[Sema] Limit optional type variable hole propagation only to OptionalEvaluationExpr binding
2022-05-07 20:07:01 -03:00
tuple_arguments.swift
[AST] Canonicalize original type for ErrorType
2025-10-05 11:19:59 +01:00
tuple_shuffle.swift
…
tuple-arguments-supported.swift
…
tuple-arguments-unsupported.swift
…
tuple.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
type_inference_from_default_closure.swift
[CS] Invalidate VarDecls in targets that fail to type-check
2024-03-01 23:16:31 +00:00
type_inference_from_default_exprs_executable_test.swift
[test] Remove unnecessary --color flags
2024-02-09 16:47:03 +00:00
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
Gardening: Migrate test suite to GH issues: Constraints (1/5)
2022-08-17 15:21:51 +03:00
unchecked_optional.swift
…
valid_implicit_conversions.swift
…
valid_pointer_conversions.swift
Add -verify-ignore-unrelated where necessary (NFC)
2025-10-04 14:19:52 -07:00
variadic_generic_constraints.swift
Remove diag::type_of_expression_is_ambiguous
2025-08-19 17:14:23 +01:00
variadic_generic_functions.swift
[CSSimplify] Don't match pack expansion patterns if shapes are not the same
2024-12-12 20:55:02 -08:00
variadic_generic_init.swift
Tests: Remove -disable-availability-checking in variadic generics tests.
2024-10-20 15:37:15 -07:00
variadic_generic_overload_ranking.swift
[CS] Dont wrap packexp in extra layer of expansion
2025-03-31 11:07:33 -04: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
[Tests] NFC: Remove -disable-constraint-solver-performance-hacks since hacks are now disabled by default
2025-06-27 23:44:36 -07:00
weak.swift
…
without_actually_escaping_no_errors.swift
…
without_actually_escaping.swift
[SE-0413] Adopt typed throws in withoutActuallyEscaping(_:do:)
2024-01-13 21:57:24 -08:00