Cleanup tests

vimeo · Jan 26, 2022 · 4dc74e9 · 4dc74e9
1 parent 5aac6a2
commit 4dc74e9
Show file tree

Hide file tree

Showing 13 changed files with 74 additions and 4 deletions.
diff --git a/docs/running_psalm/issues/InvalidTraversableImplementation.md b/docs/running_psalm/issues/InvalidTraversableImplementation.md
@@ -6,5 +6,8 @@ implemented by implementing either `IteratorAggregate` or `Iterator`
 ```php
 <?php
 
+/**
+ * @implements Traversable<mixed, mixed>
+ */
 final class C implements Traversable {} // will cause fatal error
 ```
diff --git a/tests/ArrayAccessTest.php b/tests/ArrayAccessTest.php
@@ -719,6 +719,9 @@ function getArray() : array { return []; }
 
                     $c = isset($array["foo"]) ? $array["foo"] : null;
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class C implements ArrayAccess
                     {
                         /**
@@ -875,6 +878,9 @@ class A {
                         public function foo() : void {}
                     }
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class C implements ArrayAccess
                     {
                         /**

diff --git a/tests/ArrayAssignmentTest.php b/tests/ArrayAssignmentTest.php
@@ -689,6 +689,9 @@ function getThings(): array {
             ],
             'implementsArrayAccess' => [
                 '<?php
+                    /**
+                     * @implements \ArrayAccess<array-key, mixed>
+                     */
                     class A implements \ArrayAccess {
                         /**
                          * @param  string|int $offset
@@ -734,6 +737,9 @@ public function offsetGet($offset) {
             ],
             'implementsArrayAccessInheritingDocblock' => [
                 '<?php
+                    /**
+                     * @implements \ArrayAccess<string, mixed>
+                     */
                     class A implements \ArrayAccess
                     {
                         /**

diff --git a/tests/AttributeTest.php b/tests/AttributeTest.php
@@ -208,6 +208,9 @@ class Baz {}
                     use IteratorAggregate;
                     use ReturnTypeWillChange;
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     final class EmptyCollection implements IteratorAggregate
                     {
                         #[ReturnTypeWillChange]
@@ -229,6 +232,9 @@ public function getIterator()
                     use IteratorAggregate;
                     use ReturnTypeWillChange;
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     final class EmptyCollection implements IteratorAggregate
                     {
                         #[ReturnTypeWillChange]

diff --git a/tests/FunctionCallTest.php b/tests/FunctionCallTest.php
@@ -510,6 +510,9 @@ function generator(): Generator {
             ],
             'iteratorToArrayWithGetIterator' => [
                 '<?php
+                    /**
+                     * @implements IteratorAggregate<int, string, Traversable<int, string>>
+                     */
                     class C implements IteratorAggregate {
                         /**
                          * @return Traversable<int,string>
@@ -525,9 +528,12 @@ public function getIterator() {
             ],
             'iteratorToArrayWithGetIteratorReturningList' => [
                 '<?php
+                    /**
+                     * @implements IteratorAggregate<int, string, Traversable<int, string>>
+                     */
                     class C implements IteratorAggregate {
                         /**
-                         * @return Traversable<int,string>
+                         * @return Traversable<int, string>
                          */
                         public function getIterator() {
                             yield 1 => "1";

diff --git a/tests/Loop/ForeachTest.php b/tests/Loop/ForeachTest.php
@@ -686,6 +686,9 @@ function foo(array $arr): void {
             ],
             'iteratorAggregateIteration' => [
                 '<?php
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class C implements IteratorAggregate
                     {
                         public function getIterator(): Iterator
@@ -790,6 +793,9 @@ class Item {
                       public $prop = "var";
                     }
 
+                    /**
+                     * @implements IteratorAggregate<array-key, Item, ArrayIterator<array-key, Item>>
+                     */
                     class Collection implements IteratorAggregate {
                       /**
                        * @var Item[]
@@ -878,6 +884,9 @@ function Foo(int $a, int $b, int ...$ints) : array {
                 '<?php
                     class Value {}
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class ValueCollection implements \Countable, \IteratorAggregate {
                         /**
                          * @var Value[]

diff --git a/tests/MagicMethodAnnotationTest.php b/tests/MagicMethodAnnotationTest.php
@@ -59,6 +59,7 @@ class A {
                     public function find() {}
                 }
 
+                /** @psalm-suppress MissingTemplateParam */
                 class B extends A {}
 
                 class Obj {}

diff --git a/tests/MethodSignatureTest.php b/tests/MethodSignatureTest.php
@@ -625,6 +625,9 @@ public function boo(A $class): void {}
             ],
             'allowMixedExtensionOfIteratorAggregate' => [
                 '<?php
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class C implements IteratorAggregate {
                         public function getIterator(): Iterator {
                             return new ArrayIterator([]);

diff --git a/tests/MixinAnnotationTest.php b/tests/MixinAnnotationTest.php
@@ -118,6 +118,9 @@ function foo(string $dir) : void {
             ],
             'wrapCustomIterator' => [
                 '<?php
+                    /**
+                     * @implements Iterator<1, 2>
+                     */
                     class Subject implements Iterator {
                         /**
                          * the index method exists

diff --git a/tests/Php71Test.php b/tests/Php71Test.php
@@ -197,6 +197,9 @@ function iterator(iterable $iter): void
             ],
             'traversableObject' => [
                 '<?php
+                    /**
+                     * @implements Iterator<0, mixed>
+                     */
                     class IteratorObj implements Iterator {
                         function rewind(): void {}
                         /** @return mixed */

diff --git a/tests/Template/ClassTemplateTest.php b/tests/Template/ClassTemplateTest.php
@@ -531,24 +531,37 @@ function(Collection $elt): bool { return true; }
                     /**
                      * @template TKey
                      * @template TValue
+                     * 
+                     * @extends \IteratorAggregate<TKey, TValue, \Traversable<TKey,TValue>>
                      */
                     interface ICollection extends \IteratorAggregate {
                         /** @return \Traversable<TKey,TValue> */
                         public function getIterator();
                     }
 
+                    /**
+                     * @template TKey as array-key
+                     * @template TValue
+                     * 
+                     * @implements ICollection<TKey, TValue>
+                     */
                     class Collection implements ICollection {
-                        /** @var array */
+                        /** @var array<TKey, TValue> */
                         private $data;
+                        /**
+                         * @param array<TKey, TValue> $data
+                         */
                         public function __construct(array $data) {
                             $this->data = $data;
                         }
+                        /**
+                         * @return \Traversable<TKey, TValue>
+                         */
                         public function getIterator(): \Traversable {
                             return new \ArrayIterator($this->data);
                         }
                     }
 
-                    /** @var ICollection<string, int> */
                     $c = new Collection(["a" => 1]);
 
                     foreach ($c as $k => $v) { atan($v); strlen($k); }',
@@ -862,6 +875,7 @@ public function getValue()
                     }
 
                     /**
+                     * @psalm-suppress MissingTemplateParam
                      * @template TKey
                      * @template TValue
                      */
@@ -926,6 +940,8 @@ public function getValue()
                     /**
                      * @template TKey
                      * @template Tv
+                     * 
+                     * @psalm-suppress MissingTemplateParam
                      */
                     class KeyValueContainer extends ValueContainer
                     {
@@ -985,6 +1001,9 @@ public function getID()
                         }
                     }
 
+                    /**
+                     * @psalm-suppress MissingTemplateParam
+                     */
                     class AppUser extends User {}
 
                     $au = new AppUser(-1);
@@ -1732,6 +1751,7 @@ interface IParent {
                         function foo();
                     }
 
+                    /** @psalm-suppress MissingTemplateParam */
                     interface IChild extends IParent {}
 
                     class C {}
@@ -1766,6 +1786,8 @@ class C {}
                      * @psalm-param class-string<T> $className
                      *
                      * @psalm-return T&I<T>
+                     * 
+                     * @psalm-suppress MissingTemplateParam
                      */
                     function makeConcrete(string $className) : object
                     {
@@ -1926,6 +1948,7 @@ class Foo {
                         /** @psalm-param T $val */
                         public function set($val) : void {
                             $this->value = $val;
+                            /** @psalm-suppress MissingTemplateParam */
                             new class extends Foo {};
                         }
 

diff --git a/tests/UnusedCodeTest.php b/tests/UnusedCodeTest.php
@@ -739,7 +739,7 @@ public function unserialize($_serialized) : void {}
             ],
             'useIteratorMethodsWhenCallingForeach' => [
                 '<?php
-                    /** @psalm-suppress UnimplementedInterfaceMethod */
+                    /** @psalm-suppress UnimplementedInterfaceMethod, MissingTemplateParam */
                     class IterableResult implements \Iterator {
                         public function current() {
                             return null;

diff --git a/tests/UnusedVariableTest.php b/tests/UnusedVariableTest.php
@@ -2232,6 +2232,7 @@ function test(Exception $e): callable {
                 '<?php
                     /**
                      * @psalm-immutable
+                     * @psalm-suppress MissingTemplateParam
                      */
                     class A implements IteratorAggregate
                     {