From ee16caf596a784af2dbac0decdeacf85a042eceb Mon Sep 17 00:00:00 2001
From: HypeMC <hypemc@gmail.com>
Date: Sat, 17 Sep 2022 22:20:01 +0200
Subject: [PATCH] Make template constraints examples in docs consistent

---
 docs/annotating_code/templated_annotations.md                 | 2 +-
 docs/annotating_code/type_syntax/conditional_types.md         | 4 ++--
 docs/running_psalm/issues/InvalidTemplateParam.md             | 2 +-
 docs/running_psalm/issues/NonInvariantDocblockPropertyType.md | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/docs/annotating_code/templated_annotations.md b/docs/annotating_code/templated_annotations.md
index 512a83ab17a..ed1d8054494 100644
--- a/docs/annotating_code/templated_annotations.md
+++ b/docs/annotating_code/templated_annotations.md
@@ -229,7 +229,7 @@ Templated types aren't limited to key-value pairs, and you can re-use templates
 ```php
 <?php
 /**
- * @template T0 as array-key
+ * @template T0 of array-key
  *
  * @template-implements IteratorAggregate<T0, int>
  */
diff --git a/docs/annotating_code/type_syntax/conditional_types.md b/docs/annotating_code/type_syntax/conditional_types.md
index 3d57dab3357..00dacca29a4 100644
--- a/docs/annotating_code/type_syntax/conditional_types.md
+++ b/docs/annotating_code/type_syntax/conditional_types.md
@@ -18,7 +18,7 @@ Let's suppose we want to make a userland implementation of PHP's numeric additio
 <?php
 
 /**
- * @template T as int|float
+ * @template T of int|float
  * @param T $a
  * @param T $b
  * @return int|float
@@ -57,7 +57,7 @@ class A {
     const TYPE_INT = 1;
 
     /**
-     * @template T as int
+     * @template T of int
      * @param T $i
      * @psalm-return (
      *     T is self::TYPE_STRING
diff --git a/docs/running_psalm/issues/InvalidTemplateParam.md b/docs/running_psalm/issues/InvalidTemplateParam.md
index d00618a0a2c..b73810b57b2 100644
--- a/docs/running_psalm/issues/InvalidTemplateParam.md
+++ b/docs/running_psalm/issues/InvalidTemplateParam.md
@@ -6,7 +6,7 @@ Emitted when using the `@extends`/`@implements` annotation to extend a class tha
 <?php
 
 /**
- * @template T as object
+ * @template T of object
  */
 class Base {}
 
diff --git a/docs/running_psalm/issues/NonInvariantDocblockPropertyType.md b/docs/running_psalm/issues/NonInvariantDocblockPropertyType.md
index d6d16fb6d9c..4c05391838b 100644
--- a/docs/running_psalm/issues/NonInvariantDocblockPropertyType.md
+++ b/docs/running_psalm/issues/NonInvariantDocblockPropertyType.md
@@ -42,7 +42,7 @@ You can either broaden the type or you could, in certain situations, use templat
 <?php
 
 /**
- * @template T as string|null
+ * @template T of string|null
  */
 abstract class A {
     /** @var T */