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
wip-tapi-validation
swift-mirror/test/Constraints
History
Anthony Latsis 2d899d0e73 AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def
2025-04-05 12:31:20 +01:00
..
Inputs
…
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
Improve diagnoses of generic specializations
2024-07-30 18:51:34 -07:00
anyhashable_and_operator_filtering.swift
…
anyhashable-collection-cast.swift
…
argument_matching.swift
[CSBindings] Allow optional subtype inference when closure result is not yet resolved
2025-01-29 13:12:56 -08:00
array_literal_local_array.swift
…
array_literal.swift
Tests: Remove -disable-availability-checking in tests that use opaque types.
2024-10-19 19:39:18 -07:00
assignment.swift
[CSSimplify] Rework how/when mismatches between optional types are fixed
2024-09-10 10:35:05 -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] Revert new disjunction favoring algorithm (#79128)
2025-02-13 08:06:24 -08:00
availability.swift
Sema: Correctly treat overloads in unavailable extensions as unavailable.
2024-11-02 17:15:11 -07:00
bidirectional_conversions.swift
Add a couple of regression tests
2025-03-11 10:20:58 -04:00
bridging_nonobjc.swift
…
bridging-nsnumber-and-nsvalue.swift.gyb
…
bridging.swift
Remove an old restriction on _ObjectiveCBridgeable conformances.
2024-02-06 16:09:17 -08:00
callAsFunction.swift
…
casts_objc.swift
…
casts_swift6.swift
[ConstraintSystem] Revert new disjunction favoring algorithm (#79128)
2025-02-13 08:06:24 -08: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
…
closures.swift
Regression test for rdar://problem/143338891
2025-02-02 00:43:16 -05: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] Revert new disjunction favoring algorithm (#79128)
2025-02-13 08:06:24 -08:00
concrete-overload-required.swift
…
conditionally_defined_types.swift
…
construction.swift
…
default_literals_swift4.swift
…
default_literals.swift
…
dependent_type_requirement_failure.swift
…
diag_ambiguities_module.swift
…
diag_ambiguities.swift
[CSOptimizer] Relax candidate type requirements from equality to set of no-impact conversions
2024-12-17 11:36:38 -08:00
diag_missing_arg.swift
…
diagnostics_swift4.swift
…
diagnostics.swift
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def
2025-04-05 12:31:20 +01:00
dictionary_literal.swift
…
disambiguate_iuo_param.swift
…
disfavored.swift
…
dynamic_lookup_swift6.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
dynamic_lookup.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
enum_cases.swift
Update tests for map switching to typed throws
2024-01-12 10:17:59 -08:00
ErrorBridging.swift
…
existential_metatypes.swift
Sema: Fix matchExistentialType() handling of ProtocolCompositionType containing ParameterizedProtocolType
2024-10-22 20:14:44 -04:00
fixes.swift
[CSSimplify] Rework how/when mismatches between optional types are fixed
2024-09-10 10:35:05 -07:00
function_conversion.swift
[CSSimplify] Rework how/when mismatches between optional types are fixed
2024-09-10 10:35:05 -07:00
function.swift
…
gather_all_adjacencies.swift
…
generic_construction_deduction.swift
…
generic_overload.swift
…
generic_protocol_witness.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
generic_super_constraint.swift
Stop passing -warn-redundant-requirements in tests
2024-02-02 14:57:19 -05:00
generics.swift
AST: Cut down on DescriptiveDeclKind usage in DiagnosticsCommon.def
2025-04-05 12:31:20 +01:00
if_expr.swift
[CS] Ensure DeclContext is switched for if/switch expressions
2025-02-17 12:02:16 +00:00
if_switch_expr_cgfloat_double_conversion.swift
…
implicit_double_cgfloat_conversion.swift
[Tests] NFC: Add a few test-cases that should type-check successfully
2025-03-31 14:40:07 -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
…
invalid_archetype_constraint.swift
…
invalid_constraint_lookup.swift
…
invalid_decl_ref.swift
…
invalid_implicit_conversions.swift
…
invalid_logicvalue_coercion.swift
…
invalid_metatype_bridging_header.swift
…
invalid_stdlib_2.swift
[AST] Remove ParenType
2024-10-31 11:32:40 +00:00
invalid_stdlib.swift
…
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
…
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
…
issue-53147.swift
…
issue-53296.swift
…
issue-53305.swift
…
issue-54705.swift
…
issue-54799.swift
…
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
…
issue-55410.swift
…
issue-55623.swift
…
issue-56212.swift
…
issue-56348.swift
…
issue-56387.swift
…
issue-58019.swift
…
issue-60806.swift
[ASTDumper] Dump DeclContext
2025-02-12 10:53:33 -08:00
issue-60808.swift
…
issue-64621.swift
Sema: Simplify opened existential types in solution
2024-09-04 10:42:19 -04:00
issue-66553.swift
…
issue-66561.swift
…
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
[CS] Filter out invalid macros from overload set
2024-11-06 12:43:41 +00: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
iuo_objc.swift
…
iuo.swift
TypeCheckType: Rework IUO diagnostics using behavior limitation
2025-01-21 21:41:00 +00:00
keypath_closure_conv_mismatch_generic.swift
…
keypath_closure_conv_mismatch_norettype.swift
…
keypath_closure_conv_mismatch.swift
…
keypath_dynamic_member_lookup.swift
SILGen: Treat read-formal-accessed lvalues as borrows.
2025-02-04 08:23:34 -08:00
keypath_swift_5.swift
…
keypath.swift
Merge pull request #78823 from amritpan/method-keypaths
2025-03-19 18:59:17 -07:00
lvalues.swift
[AST] Remove ParenType
2024-10-31 11:32:40 +00:00
members_objc.swift
…
members.swift
[CS] Correctly set compound bit for UnresolvedMemberExprs
2024-12-04 11:14:48 +00:00
metatypes.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
moveonly_tuples.swift
Test: replace '@_moveOnly' with '~Copyable'
2024-07-23 11:05:33 -07:00
mutating_members_compat.swift
…
mutating_members.swift
…
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
ASTDumper: Label "interface type" -> "interface_type".
2025-01-29 13:55:00 -05:00
noderivative.swift
…
objc_optional_methods_diagnostics.swift
…
observable_macro_shadowing.swift
…
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_suppression.swift
…
opened_existentials_type_variable.swift
Sema: Simplify opened existential types in solution
2024-09-04 10:42:19 -04:00
opened_existentials.swift
test: Add regression test for rdar://91922018
2025-02-09 05:16:45 +00:00
openExistential.swift
Implement typed throws support in _openExistential.
2024-01-14 14:32:49 -08:00
operator_availability.swift
…
operator.swift
[stdlib] Allow metatypes of noncopyable/nonescapable types to get compared
2025-03-24 12:16:08 -07:00
optional.swift
[CSSimplify] Delay inout type to pointer conversion until inout is sufficiently resolved
2024-09-12 13:46:02 -07:00
overload_filtering_objc.swift
Sema: Remove ConstraintSystem::ImplicitValueConversions
2025-01-27 17:28:19 -05:00
overload_filtering.swift
…
overload.swift
[CSRanking] Adjust isDeclMoreConstrainedThan to account for invertible protocols
2024-02-09 17:16:50 -08:00
override.swift
[AST] Remove ParenType
2024-10-31 11:32:40 +00:00
pack_expansion_types.swift
AST: Use a builtin conformance for unconditional Copyable/Escapable
2024-03-07 15:07:47 -05:00
pack-expansion-expressions.swift
[CS] Deep-equality match OpenedArchetypeTypes
2025-03-10 19:19:53 -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
Sema: Fix matchExistentialType() handling of ProtocolCompositionType containing ParameterizedProtocolType
2024-10-22 20:14:44 -04:00
patterns.swift
[CSFix] Fix a null pointer dereference in getStructuralTypeContext
2025-02-24 13:57:28 -08:00
phantom_existential_typealias.swift
AST: Use TypeTransform::transformSubMap() to transform TypeAliasType
2024-08-21 13:21:47 -04:00
pr39543.swift
…
protocols.swift
[AST] Special handling for existentials with superclass and marker protocols
2024-03-07 13:05:40 -08:00
ranking_ambiguities.swift
…
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
…
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
…
rdar42750089.swift
…
rdar44569159.swift
…
rdar44770297.swift
…
rdar44816848.swift
…
rdar45242032.swift
…
rdar45415874.swift
…
rdar45490737.swift
…
rdar45511837.swift
…
rdar46377919.swift
…
rdar46544601.swift
…
rdar47787705.swift
…
rdar60898369.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
[Test] Remove REQUIRES: asserts from tests that use -swift-version 6.
2024-02-13 07:13:35 -08:00
rdar105080067.swift
…
rdar105781521.swift
…
rdar105782480.swift
…
rdar106598067.swift
[CS] Diagnose misuse of CheckedCastExpr with ~=
2024-09-24 01:45:51 -04:00
rdar107420031.swift
…
rdar107651291.swift
…
rdar107709341.swift
…
rdar107724970.swift
[CSDiagnostics] Produce a diagnostic for patterns with extraneous elements
2024-02-26 14:30:29 -08:00
rdar108738034.swift
…
rdar109419240.swift
…
rdar110617471.swift
…
rdar112264204.swift
…
rdar113025351.swift
…
rdar113326835.swift
…
rdar114402042.swift
[Sema] Move SingleValueStmtUsageChecker into pre-checking
2024-08-30 18:55:48 +01:00
rdar116956363.swift
…
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
recursive_concrete_constraints.swift
…
requirement_failures_in_contextual_type.swift
…
result_builder_ast_transform.swift
…
result_builder_availability.swift
[test] Move availability tests to later fake OS versions
2024-08-21 11:38:54 -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
[CSSimplify] Retry member lookup on an insufficiently resolved optional base in diagnostic mode
2024-12-21 00:42:13 -08: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
…
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
…
result_builder.swift
[CSBindings] Don't delay inferred loeading-dot base inference if source is a contextual type
2025-03-06 14:58:21 -08:00
same_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
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
…
subscript_swift6.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09:00
subscript.swift
[AST] Improve diagnostics message for swift users.
2024-03-27 12:32:25 +09: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
…
swift_to_c_pointer_conversions_sil.swift
…
swift_to_c_pointer_conversions.swift.gyb
[CSSimplify] Rework how/when mismatches between optional types are fixed
2024-09-10 10:35:05 -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
…
tuple_arguments.swift
[Diagnostics] Clarify the wording of error_in_future_swift_version.
2024-03-01 12:05:51 -08:00
tuple_shuffle.swift
…
tuple-arguments-supported.swift
…
tuple-arguments-unsupported.swift
…
tuple.swift
[CSSimplify] Rework how/when mismatches between optional types are fixed
2024-09-10 10:35:05 -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.swift
[CS] Invalidate VarDecls in targets that fail to type-check
2024-03-01 23:16:31 +00:00
type_of_verified.swift
…
type_of.swift
…
unchecked_optional.swift
…
valid_implicit_conversions.swift
…
valid_pointer_conversions.swift
[CSBindings] Don't delay bindings inferred through inout conversion
2024-10-31 11:58:55 -07:00
variadic_generic_constraints.swift
Sema: Update diagnostics for openType() change
2024-01-09 15:23:42 -05: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
…
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