From 9cc907e798fc3afc672f6b9f358dea8a8d7c6670 Mon Sep 17 00:00:00 2001 From: Yan Date: Thu, 14 May 2026 15:09:04 +0400 Subject: [PATCH] Add cancellation for ide-stubs --- ide-stubs/async.php | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/ide-stubs/async.php b/ide-stubs/async.php index 65c4288..0916542 100644 --- a/ide-stubs/async.php +++ b/ide-stubs/async.php @@ -12,7 +12,11 @@ declare(strict_types=1); -namespace Async; +namespace { + interface Cancellation extends Throwable {} +} + +namespace Async { // --------------------------------------------------------------------------- // Exceptions & Errors @@ -2125,3 +2129,5 @@ function graceful_shutdown(?AsyncCancellation $cancellationError = null): void { * @throws OperationCanceledException If the cancellation token fires. */ function signal(Signal $signal, ?Completable $cancellation = null): Future {} + +} \ No newline at end of file