#pragma warning disable CA1000 // Do not declare static members on generic types
        /// <summary>
        /// Gets the task created by this task completion source.
        /// </summary>
#pragma warning disable CA1707  // Remove the underscores from member name
#pragma warning disable SA1300  // Element should begin with an uppercase letter
#pragma warning disable IDE1006 // Naming Styles
        public static SystemTasks.Task <TResult> get_Task(SystemTasks.TaskCompletionSource <TResult> tcs)
        {
            var task = tcs.Task;

            if (CoyoteRuntime.IsExecutionControlled)
            {
                CoyoteRuntime.Current.OnTaskCompletionSourceGetTask(task);
            }

            return(task);
        }
 /// <summary>
 /// Attempts to transition the underlying task into the <see cref="SystemTasks.TaskStatus.Canceled"/> state
 /// and enables a cancellation token to be stored in the canceled task.
 /// </summary>
 public static bool TrySetCanceled(SystemTasks.TaskCompletionSource <TResult> tcs,
                                   SystemThreading.CancellationToken cancellationToken) =>
 tcs.TrySetCanceled(cancellationToken);
 /// <summary>
 /// Attempts to transition the underlying task into the <see cref="SystemTasks.TaskStatus.Canceled"/> state.
 /// </summary>
 public static bool TrySetCanceled(SystemTasks.TaskCompletionSource <TResult> tcs) => tcs.TrySetCanceled();
 /// <summary>
 /// Attempts to transition the underlying task into the <see cref="SystemTasks.TaskStatus.Faulted"/> state
 /// and binds a collection of exception objects to it.
 /// </summary>
 public static bool TrySetException(SystemTasks.TaskCompletionSource <TResult> tcs, IEnumerable <Exception> exceptions) =>
 tcs.TrySetException(exceptions);
 /// <summary>
 /// Attempts to transition the underlying task into the <see cref="SystemTasks.TaskStatus.Faulted"/> state
 /// and binds it to a specified exception.
 /// </summary>
 public static bool TrySetException(SystemTasks.TaskCompletionSource <TResult> tcs, Exception exception) =>
 tcs.TrySetException(exception);
 /// <summary>
 /// Attempts to transition the underlying task into the <see cref="SystemTasks.TaskStatus.RanToCompletion"/> state.
 /// </summary>
 public static bool TrySetResult(SystemTasks.TaskCompletionSource <TResult> tcs, TResult result) =>
 tcs.TrySetResult(result);
 /// <summary>
 /// Transitions the underlying task into the <see cref="SystemTasks.TaskStatus.Canceled"/> state.
 /// </summary>
 public static void SetCanceled(SystemTasks.TaskCompletionSource <TResult> tcs) => tcs.SetCanceled();
#pragma warning restore CA1707  // Remove the underscores from member name
#pragma warning restore SA1300  // Element should begin with an uppercase letter
#pragma warning restore IDE1006 // Naming Styles

        /// <summary>
        /// Transitions the underlying task into the <see cref="SystemTasks.TaskStatus.RanToCompletion"/> state.
        /// </summary>
        public static void SetResult(SystemTasks.TaskCompletionSource <TResult> tcs, TResult result) => tcs.SetResult(result);