Michael Gottesman 0da22388cb [silgen] Make sure that thunks that convert to/from nonisolated(nonsending) handle hopping correctly. ...

Specifically:

1. When we convert a function to nonisolated(nonsending), we need to
make sure that in the thunk we hop upon return since nonisolated(nonsending)
functions are assumed to preserve the caller's isolation.

2. When we convert a function from nonisolated(nonsending), we need to
make sure that in the thunk we hop onto the actor that we are passing in as the
isolated parameter of the nonisolated(nonsending) function. This ensures that
the nonisolated(nonsending) function can assume that it is already on its
isolated parameter's actor at function entry.

rdar://155905383

2025-07-18 10:08:21 -07:00

..

attr_execution

[silgen] Make sure that thunks that convert to/from nonisolated(nonsending) handle hopping correctly.

2025-07-18 10:08:21 -07:00

Backdeploy

Tests: Remove -disable-availability-checking in more tests that use concurrency.

2024-10-19 12:35:20 -07:00

deinit_isolation_import

Revert "[concurrency] Add Concurrent/ConcurrentUnsafe and use it instead of ActorIsolation::Nonisolated."

2025-02-06 14:05:06 -08:00

Inputs

Sema: Expand isolated conformance inference to consider conformances to inherited protocols

2025-06-22 23:21:25 -04:00

Macros

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

Reflection

[RemoteMirror] Fix AsyncTask child iteration.

2025-04-08 13:09:29 -04:00

Runtime

[Concurrency] Unskip isolated-conformance runtime test on WebAssembly

2025-07-16 06:28:04 +00:00

toplevel

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

actor_call_implicitly_async.swift

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

actor_data_race_checks_minimal.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

actor_defer.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

actor_derived_conformances.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

actor_existentials.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

actor_inout_isolation.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

actor_isolation_cycle.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

actor_isolation_filecheck.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

actor_isolation_objc.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

actor_isolation_swift6.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

actor_isolation_unsafe.swift

Grammatical corrections for compound modifiers

2025-04-24 09:21:32 +02:00

actor_isolation.swift

[TypeChecker] Remove @_inheritActorContext effect from synchronous types

2025-06-10 10:15:37 -07:00

actor_keypath_isolation_swift6.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

actor_keypath_isolation.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

actor_withCancellationHandler.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

assume_mainactor_typechecker_errors_sendablecheck.swift

[SE-0466] Nested types of nonisolated types don't infer main-actor isolation

2025-07-15 13:00:45 -07:00

assume_mainactor_typechecker_errors.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

assume_mainactor.swift

[SE-0466] Infer isolated deinit in main-actor-by-default mode

2025-06-30 22:03:07 -07:00

assumeIsolated.swift

…

async_cancellation.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_computed_property.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_conformance.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

async_for_each_back_deploy.swift

NFC: Update stale references to next(_:).

2024-07-30 09:47:20 -07:00

async_initializer_objc.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_initializer.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_iterator_inference.swift

…

async_let_capture.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_let_isolation.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_main_invalid_global_actor.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_main_mainactor_isolation.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_main_no_concurrency.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_main_no_exit.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_main_resolution.swift

[AST] Handle a few more cases in getStartLoc()

2025-05-14 11:15:42 +01:00

async_main_throws_prints_error.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_main_typed_error.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_main.swift

Reapply "Task names" (#79562) (#79600)

2025-03-08 10:58:49 +09:00

async_overload_filtering.swift

…

async_sequence_existential.swift

Tests: Re-enable async_sequence_existential.swift on Windows.

2025-04-15 08:44:05 -07:00

async_sequence_flatmap_overloading.swift

…

async_sequence_macosx.swift

…

async_sequence_rethrows.swift

…

async_sequence_syntax.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_task_base_priority.swift

[Concurrency] Unbreak priority tests so they actually run & fix them

2025-07-02 22:13:15 +09:00

async_task_escalate_priority.swift

Don't disable priority escalation tests on arm64e

2025-06-02 21:45:04 +09:00

async_task_group_body_inherit_isolation.swift

…

async_task_groups_and_actors.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_task_groups_and_type_inference.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_task_groups_as_sequence.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_task_groups.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_task_locals_basic_warnings_bug_isolation.swift

[sil-isolation-info] When determining isolation of a function arg, use its VarDecl.

2025-04-17 18:12:30 -07:00

async_task_locals_basic_warnings.swift

Reapply "Task names" (#79562) (#79600)

2025-03-08 10:58:49 +09:00

async_task_priority.swift

[Concurrency] Unbreak priority tests so they actually run & fix them

2025-07-02 22:13:15 +09:00

async_tasks.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

async_throwing.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

async_top_level_no_exit.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

attr_discardableResult_async_await.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

await_typo_correction.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

blocking_continuations.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

builtin_silgen.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

CaseIterableIsolation.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

closure_isolation.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

concurrency_attr_inference_on_closures.swift

[CSBindings] Don't prioritize closures that are assigned to overloaded members

2024-08-27 16:19:29 -07:00

concurrency_availability.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

concurrency_module_shadowing.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

concurrency_warnings.swift

fix some tests due to diagnostic rewording

2025-07-15 11:16:13 +09:00

concurrent_value_checking_objc.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

concurrent_value_checking.swift

fix some tests due to diagnostic rewording

2025-07-15 11:16:13 +09:00

concurrent_value_inference.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

concurrentfunction_capturediagnostics.swift

Print diagnostic group names by default

2025-03-29 15:40:56 -07:00

cross_module_let_sil.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

custom_executor_enqueue_availability.swift

Rename SwiftStdlibCurrentOS to StdlibDeploymentTarget.

2025-06-04 10:40:19 +01:00

custom_executor_enqueue_deprecation_on_executor_extension.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

custom_executor_enqueue_impls.swift

Print diagnostic group names by default

2025-03-29 15:40:56 -07:00

default_actor_definit.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

default_isolation.swift

Fix a bunch of bugs with the isolation of local funcs. Since we

2025-06-29 01:23:04 -04:00

deinit_isolation_backdeploy.swift

[SE-0371] Back-deploy support for main-actor-isolated deinit

2025-06-30 17:38:08 -07:00

deinit_isolation_in_value_types.swift

Update test to remove extraneous diagnostic

2025-06-27 18:51:17 -07:00

deinit_isolation_objc.swift

[SILGen] Ensure that we don't emit a skipped isolated deinit

2025-06-27 12:18:32 -07:00

deinit_isolation_tbd.swift

Handle versioning of the IsolatedDeinit feature

2024-12-12 16:41:02 +09:00

deinit_isolation.swift

Revert "[concurrency] Add Concurrent/ConcurrentUnsafe and use it instead of ActorIsolation::Nonisolated."

2025-02-06 14:05:06 -08:00

derived_conformances_nonisolated.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

dispatch_inference.swift

[rbi] When checking for partial apply reachability of a value at a user, include the user itself in case the user is the actual partial apply

2025-04-17 12:26:34 -07:00

double_curry_thunk.swift

[sema] Work around a double curry thunk actor isolation inference bug that is a knock on effect of ced96aa5cd.

2025-06-20 10:59:54 -07:00

dynamic_actor_isolation.swift

[Sema] Look through ActorIsolationErasureExpr when finding function DeclRefs for rethrows checking.

2025-01-10 09:04:50 -08:00

dynamic_checks_for_func_refs_in_preconcurrency_apis_objc.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

dynamic_checks_for_func_refs_in_preconcurrency_apis.swift

[Concurrency] Forego Sendable checking if conversion doesn't change the global actor

2025-06-30 12:07:41 -07:00

dynamic_isolation_checks_for_closures.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

effectful_properties_async_if_optional_unwrap.swift

…

emit_objc_header_with_Sendable.swift

…

execute_child_on_await.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

experimental_feature_strictconcurrency_targeted.swift

Frontend: Introduce -disable-upcoming-feature and -disable-experimental-feature.

2024-11-15 18:20:28 -08:00

experimental_feature_strictconcurrency.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

fail_implicit_concurrency_load.swift

…

flow_isolation_nonstrict.swift

Grammatical corrections for compound modifiers

2025-04-24 09:21:32 +02:00

flow_isolation.swift

Revert "[flow-isolation] Allow for initialization of fields of a Global Actor isolated class in its nonisolated inits"

2025-06-17 13:01:28 -07:00

freestanding_top_level.swift

Changed note main actor variables

2024-07-20 02:39:33 +02:00

global_actor_from_ordinary_context.swift

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

global_actor_function_types_swift6.swift

[Concurrency] Diagnose loss of global actor isolation in async function conversions

2025-05-09 13:05:57 -07:00

global_actor_function_types.swift

Grammatical corrections for compound modifiers

2025-04-24 09:21:32 +02:00

global_actor_inference_swift6.swift

Revert "[flow-isolation] Allow for initialization of fields of a Global Actor isolated class in its nonisolated inits"

2025-06-17 13:01:28 -07:00

global_actor_inference.swift

Revert "[flow-isolation] Allow for initialization of fields of a Global Actor isolated class in its nonisolated inits"

2025-06-17 13:01:28 -07:00

global_actor_isolated_completion_handlers.swift

[ClangImporter] SE-0463: Implement @Sendable inference exception for global actor isolated functions

2025-06-11 23:44:01 -07:00

global_actor_isolation_cross_module_reference.swift

…

global_actor_sendable_fn_type_inference.swift

[Concurrency] Infer @Sendable for global actor isolated function references.

2025-03-26 20:38:20 -07:00

global_actor_serialized.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

global_function_pointer.swift

SILPrinter: don't print operand types in static initializers of globals

2024-11-22 15:19:25 +01:00

global_variables.swift

[Sema]: Fix data race safety hole with mutable statics within actors

2025-02-15 10:29:40 -06:00

grouped_actor_isolation_diagnostics.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

hop_to_executor_unreachable_code.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

implied_sendable_conformance_objc.swift

Sema: Don't complain about implied Sendable conformance of imported type being retroactive

2025-05-21 18:04:43 -04:00

implied_sendable_conformance_swift5.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

implied_sendable_conformance_swift6.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

import_nsnotificationname_constants_as_nonisolated.swift

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

isolated_any.swift

[Concurrency] Deprecate extractIsolation

2025-06-13 11:47:37 +09:00

isolated_captures.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

isolated_conformance_6.swift

[SE-0470] Promote isolated-conformance-to-sendable-metatype protocol to error

2025-07-07 11:35:19 -07:00

isolated_conformance_default_actor.swift

Split conformance isolation request to eliminate a reference cycle

2025-06-02 23:37:58 -07:00

isolated_conformance_inference_with_default_actor.swift

Sema: Expand isolated conformance inference to consider conformances to inherited protocols

2025-06-22 23:21:25 -04:00

isolated_conformance_inference.swift

Sema: Expand isolated conformance inference to consider conformances to inherited protocols

2025-06-22 23:21:25 -04:00

isolated_conformance_migrate.swift

Sema: Fix the insertion location for conformances attributes

2025-06-24 14:49:03 +01:00

isolated_conformance_sil.swift

Prohibit isolated conformances for checked casts to potentially-SendableMetatype types

2025-03-28 16:55:36 -07:00

isolated_conformance.swift

[SE-0470] Promote isolated-conformance-to-sendable-metatype protocol to error

2025-07-07 11:35:19 -07:00

isolated_default_argument_eval.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

isolated_default_arguments_serialized.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

isolated_default_arguments.swift

[TypeChecker] Improve diagnostics for access to actor-isolated values outside of the actor

2025-05-23 00:20:18 -07:00

isolated_default_property_inits.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

isolated_nonsending_isolation_macro_sil.swift

[Concurrency] #isolation+nonsending nonisolated - review followup and SIL test

2025-07-07 11:37:16 +09:00

isolated_parameter_valid.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

isolated_parameters.swift

[Concurrency] Don't downgrade explicit isolation attribute clashes

2025-07-09 10:59:13 -07:00

isolation_macro_availability.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

isolation_macro_local_functions.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

isolation_macro.swift

[Concurrency] When expanding #isolation create a type-checked type

2025-03-28 15:43:11 -07:00

issue62394.swift

SIL: don't print operand types in textual SIL

2024-11-21 18:49:52 +01:00

issue-57376.swift

[Concurrency] Delete sendable checking subsumed by region isolation.

2024-07-30 22:11:49 -07:00

issue-70019.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

issue-80363.swift

[Concurrency] Fix a crash caused by misuse of isolated modifier

2025-06-27 23:45:53 -07:00

LLDBDebuggerFunctionActorExtension.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

local_functions.swift

Fix a bunch of bugs with the isolation of local funcs. Since we

2025-06-29 01:23:04 -04:00

metatype_crasher.swift

[concurrency] Fix an off by one error in generic handling in local capture checking code.

2025-04-30 06:17:52 -07:00

nonisolated_access.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

nonisolated_deinit.swift

[SE-0371] Back-deploy support for main-actor-isolated deinit

2025-06-30 17:38:08 -07:00

nonisolated_inherits_isolation_sema.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

nonisolated_inherits_isolation.swift

[rbi] Begin tracking if a function argument is from a nonisolated(nonsending) parameter and adjust printing as appropriate.

2025-07-02 13:03:13 -07:00

nonisolated_nonsending_objc_async_by_default.swift

[Concurrency] Infer isolation of methods that override caller isolated @objc async handlers to be `@concurrent

2025-04-18 09:17:44 -07:00

nonisolated_nonsending_optimize_hoptoexecutor.swift

[concurrency] Make optimize hop to executor more conservative for 6.2 around caller isolation inheriting functions.

2025-07-15 17:03:49 -07:00

nonisolated_nonsending.swift

Correctly forward the implicit nonisolated(nonsending) parameter in thunks (#82705)

2025-07-02 12:03:59 -07:00

nonisolated_rules.swift

[Concurrency] Global actor isolated conformances are only allowed to override nonisolated.

2025-06-24 12:46:41 -07:00

objc_async_overload.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

objc_async_protocol_irgen.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

objc_require_explicit_sendable.swift

Remove the note that suggests using @unchecked

2025-05-23 09:12:51 +01:00

optional_isolated_parameters.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

preconcurrency_anyobject_lookup.swift

[CS] Use adjusted type for single curry thunks

2024-11-21 12:14:00 +00:00

preconcurrency_conformances.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

preconcurrency_implementationonly_override.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

preconcurrency_overload.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

preconcurrency_typealias.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

predates_concurrency_import_deinit.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

predates_concurrency_import_emitmodule.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

predates_concurrency_import_foundation_darwin.swift

…

predates_concurrency_import_nowarn.swift

Introduce the notion of a warning that is ignored by default, but enabled by -Wwarning/-Werror

2025-01-10 09:10:56 -08:00

predates_concurrency_import_swift6.swift

Frontend: Allow -enable-experimental-feature to specify upcoming features.

2024-08-20 07:49:33 -07:00

predates_concurrency_import.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

predates_concurrency_swift6.swift

[Concurrency] Fix SendableMetatype conformance failures to behave like Sendable ones

2025-06-06 08:48:29 -07:00

predates_concurrency.swift

[TypeChecker] Remove @_inheritActorContext effect from synchronous types

2025-06-10 10:15:37 -07:00

property_initializers_swift6.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

radar_concurrency_nio.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

reasync_protocol.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

reasync_ranking.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

reasync.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

redundant_sendable_conformance.swift

[ConformanceLookup] Just kidding, the compiler needs to prefer available

2024-07-11 23:03:33 -07:00

regionanalysis_trackable_value.sil

[region-isolation] Fix crash due to missing visitVectorBaseAddrInst case

2025-06-23 11:11:59 -07:00

require-explicit-sendable.swift

Merge pull request #81738 from DougGregor/no-unchecked

2025-05-23 13:46:22 +01:00

self_escapes_deinit.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

sendable_associated_type.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_attr_in_result_of_objc_methods.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

sendable_checking_captures_swift5.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_checking_captures_swift6.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_checking_errors.swift

…

sendable_checking_swift6.swift

…

sendable_checking.swift

Merge pull request #82555 from gottesmm/pr-b4de2f5d58d852cd3e9e606101e1b0ff42ce6092

2025-07-03 05:22:57 -07:00

sendable_conformance_checking_skip_sending.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_conformance_checking.swift

fix some tests due to diagnostic rewording

2025-07-15 11:16:13 +09:00

sendable_cycle.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_disambiguation.swift

…

sendable_existentials.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_functions.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_keypath-observe-objc.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_keypaths.swift

[Sema] Type inference from default expression doesn’t compile in free function (#79989)

2025-05-29 20:21:35 +01:00

sendable_metatype_swift5.swift

Only emit the non-sendable metatype capture diagnostic under region-based isolation

2025-06-04 09:46:02 -07:00

sendable_metatype_typecheck.swift

Use the "prohibits isolated conformances" check for capture metatypes

2025-07-12 08:45:13 -07:00

sendable_metatype.swift

[SE-0470] Track the potential introduction of isolated conformances in regions

2025-07-08 11:18:30 -07:00

sendable_methods.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_module_checking.swift

test updates

2024-12-02 16:54:12 -05:00

sendable_obc_protocol.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_objc_attr_in_type_context_swift5_strict.swift

[TypeChecker] Ignore mismatches on sendability in @objc @implementation witnesses unless in strict concurrency mode

2025-03-13 15:34:17 -07:00

sendable_objc_attr_in_type_context_swift5.swift

[Concurrency] Downgrade isolated conformances to SendableMetatype

2025-07-17 10:12:41 -07:00

sendable_objc_attr_in_type_context_swift6.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_objc_protocol_attr.swift

fix some tests due to diagnostic rewording

2025-07-15 11:16:13 +09:00

sendable_override_checking.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_preconcurrency_erasure.swift

…

sendable_preconcurrency_unused.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sendable_preconcurrency.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_to_any_for_generic_arguments.swift

[ConstraintSystem] Sendable-to-Any: Allow conversion when in inout positions

2025-02-13 17:03:00 -08:00

sendable_without_preconcurrency_2.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

sendable_without_preconcurrency.swift

[rbi] Change Region Based Isolation for closures to not use the AST and instead just use SIL.

2025-01-22 21:12:36 -08:00

sendable_witness_check_delayed.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

sending_asynciteratornext_typechecker_error.swift

AST: Promote OptionalIsolatedParameters feature to baseline.

2024-07-09 14:28:29 -07:00

sending_closure_inference.swift

…

sending_conditional_suppression.swift

[test] Adjust tests now that Optional supports nonescapable use

2025-03-24 12:15:57 -07:00

sending_continuation.swift

Grammatical corrections for compound modifiers

2025-04-24 09:21:32 +02:00

sending_interfacefile_printing.swift

Remove an unnecessary extra FileCheck file in favor of using different FileCheck -check-prefix.

2024-09-18 10:41:40 -07:00

sending_mangling.swift

[rbi] Fix demangling of sending results.

2025-01-14 15:38:02 -08:00

sending_subscript.swift

Add a test case with a tuple result

2025-03-08 07:09:08 +09:00

sending_witness_subscript.swift

[Sema]Set IsSending flag to subscript.getter if needed

2025-02-01 06:43:15 +09:00

ShrinkWrap.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

silisolationinfo_inference.sil

[sil-isolation-info] When determining isolation of a function arg, use its VarDecl.

2025-04-17 18:12:30 -07:00

startImmediatelyIsolation.swift

[Concurrency] Add missing Task.immediateDetached, which drops task locals

2025-07-10 14:57:44 +09:00

strict_concurrency_minimal.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

task_local.swift

[test] Mark tests that use experimental/upcoming features as such

2024-11-02 11:46:46 -07:00

task_naming_availability.swift

Merge pull request #80984 from ktoso/task-names-update

2025-05-28 06:23:49 +09:00

taskgroup_cancelAll_from_child.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

throwing.swift

Tests: Remove -disable-availability-checking from many Concurrency tests.

2024-10-18 16:21:51 -07:00

transfernonsendable_asynclet.swift

[rbi] Begin tracking if a function argument is from a nonisolated(nonsending) parameter and adjust printing as appropriate.

2025-07-02 13:03:13 -07:00

transfernonsendable_cfg.sil

Merge pull request #77370 from gottesmm/transfer_to_send

2024-11-05 06:29:58 -08:00

transfernonsendable_closureliterals_isolationinference.swift

[concurrency] Perform some fixes so that transfernonsendable_closureliterals_isolationinference.swift now passes.

2025-07-07 17:21:41 -07:00

transfernonsendable_defer_and_typecheck_only.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

transfernonsendable_functionsubtyping_swift5.swift

…

transfernonsendable_functionsubtyping.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_global_actor_nonsendable.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_global_actor_sending.swift

[rbi] Teach SendNonSendable how to more aggressively suppress sending errors around obfuscated Sendable functions

2025-07-10 11:15:00 -07:00

transfernonsendable_global_actor_serialization.swift

…

transfernonsendable_global_actor_swift6.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_global_actor.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_initializers.swift

[rbi] Begin tracking if a function argument is from a nonisolated(nonsending) parameter and adjust printing as appropriate.

2025-07-02 13:03:13 -07:00

transfernonsendable_instruction_matching_differentiability.sil

Rename transfer -> send.

2024-11-04 15:17:51 -08:00

transfernonsendable_instruction_matching_opaquevalues.sil

[Region isolation] Re-simplify handling of init_existential* instructions

2025-07-08 22:36:37 -07:00

transfernonsendable_instruction_matching.sil

SIL: remove the alloc_vector instruction

2025-02-12 10:51:14 +01:00

transfernonsendable_isolationcrossing_partialapply.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_nonisolated.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_nonisolatedunsafe.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_objc.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_ownership.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_preconcurrency_sending.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_preconcurrency.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_rbi_result.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_region_based_sendability.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_sending_params.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_sending_results.swift

[rbi] Begin tracking if a function argument is from a nonisolated(nonsending) parameter and adjust printing as appropriate.

2025-07-02 13:03:13 -07:00

transfernonsendable_typecheckerbugs.swift

[region-isolation] Do not ignore non-trivial results that are Sendable to be more permissive in the face of lazy typechecker issues.

2024-07-29 09:44:57 -07:00

transfernonsendable_typed_errors.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_unavailable_conformance.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable_warning_until_swift6.swift

[rbi] Convert all rbi tests to run also in NonisolatedNonsendingByDefault.

2025-07-02 12:13:37 -07:00

transfernonsendable.sil

[rbi] Simplify some logic that got confused so that passing an actor isolated value to a callee that is isolated ot the same actor is not considered a send.

2025-04-18 09:58:10 -07:00

transfernonsendable.swift

[rbi] Begin tracking if a function argument is from a nonisolated(nonsending) parameter and adjust printing as appropriate.

2025-07-02 13:03:13 -07:00

typed_throws.swift

…

unavailable_from_async_swift6.swift

[TypeChecker] Downgrade noasync availability to warnings on @preconcurrency declarations

2025-01-17 14:01:34 -08:00

unavailable_from_async.swift

Fix parsing of @_unavailableFromAsync

2024-12-20 17:59:23 -08:00

unsafe_inherit_executor.swift

AST: Quote attributes more consistently in DiagnosticsSema.def

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

voucher_propagation.swift

[sema] Change non-sendable -> non-Sendable in diagnostics.

2025-05-22 11:37:58 -07:00

weak_ref_sendability.swift

[Diagnostics] Use contains instead of has when non-Sendable type appears inside of a member type

2025-06-05 11:14:55 -07:00

where_clause_main_resolution.swift

[AST] Handle a few more cases in getStartLoc()

2025-05-14 11:15:42 +01:00

witness_matching_with_sendable.swift

[Concurrency] Allow witnesses to adopt concurrency before requirements

2024-11-06 15:24:36 -08:00