Mark template type as covariant

amphp · Jan 28, 2024 · af91ae7 · af91ae7
1 parent 16cc5d8
commit af91ae7
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 11 deletions.
diff --git a/src/Context/Context.php b/src/Context/Context.php
@@ -7,9 +7,9 @@
 
 /**
  * @template-covariant TResult
- * @template TReceive
+ * @template-covariant TReceive
  * @template TSend
- * @template-extends Channel<TReceive, TSend>
+ * @extends Channel<TReceive, TSend>
  */
 interface Context extends Channel
 {

diff --git a/src/Context/Internal/AbstractContext.php b/src/Context/Internal/AbstractContext.php
@@ -15,10 +15,10 @@
 use function Amp\Parallel\Context\flattenArgument;
 
 /**
- * @template TResult
- * @template TReceive
+ * @template-covariant TResult
+ * @template-covariant TReceive
  * @template TSend
- * @template-implements Context<TResult, TReceive, TSend>
+ * @implements Context<TResult, TReceive, TSend>
  */
 abstract class AbstractContext implements Context
 {

diff --git a/src/Context/ProcessContext.php b/src/Context/ProcessContext.php
@@ -12,10 +12,10 @@
 use Amp\Process\ProcessException;
 
 /**
- * @template TResult
- * @template TReceive
+ * @template-covariant TResult
+ * @template-covariant TReceive
  * @template TSend
- * @template-extends AbstractContext<TResult, TReceive, TSend>
+ * @extends AbstractContext<TResult, TReceive, TSend>
  */
 final class ProcessContext extends AbstractContext
 {

diff --git a/src/Context/ThreadContext.php b/src/Context/ThreadContext.php
@@ -14,10 +14,10 @@
 use Revolt\EventLoop;
 
 /**
- * @template TResult
- * @template TReceive
+ * @template-covariant TResult
+ * @template-covariant TReceive
  * @template TSend
- * @template-extends AbstractContext<TResult, TReceive, TSend>
+ * @extends AbstractContext<TResult, TReceive, TSend>
  */
 final class ThreadContext extends AbstractContext
 {