SmartArray, SmartArrayHtml: point @implements at the real interface

The foreach type hints annotated Iterator, but the classes implement
IteratorAggregate, so only PhpStorm (which is lenient about the
interface name) could use them. Now they annotate IteratorAggregate,
which PHPStan and Psalm read too.

Still one @implements line per object type rather than a union:
PhpStorm keeps only one object member per generic union, and the HTML
mode needs both SmartArrayHtml and SmartString to autocomplete. Verified
in PhpStorm 2025.3.1; the scalar union collapses to mixed in hovers,
which is cosmetic. Also collapses the raw side's five scalar lines into
one.

Author: daveedis

src/SmartArray.php

@@ -4,6 +4,7 @@
 namespace Itools\SmartArray;
 
 use InvalidArgumentException;
+use IteratorAggregate;
 use Itools\SmartString\SmartString;
 use JetBrains\PhpStorm\Deprecated;
 
@@ -21,13 +22,10 @@
  * mode narrows the return type (raw values here, SmartStrings in SmartArrayHtml);
  * only new(), asRaw(), and asHtml() have per-class behavior.
  *
- * PhpStorm 2025.3.1: Repeated "@implements" needed - union types in Iterator generics don't work reliably for foreach inference
- * @implements \Iterator<mixed, SmartArray>
- * @implements \Iterator<mixed, string>
- * @implements \Iterator<mixed, int>
- * @implements \Iterator<mixed, float>
- * @implements \Iterator<mixed, bool>
- * @implements \Iterator<mixed, null>
+ * PhpStorm: repeated single-type @implements lines - it keeps only one object
+ * member per generic union, so foreach over a union loses the second type
+ * @implements IteratorAggregate<mixed, SmartArray>
+ * @implements IteratorAggregate<mixed, string|int|float|bool|null>
  */
 class SmartArray extends SmartArrayBase
 {

src/SmartArrayHtml.php

@@ -3,7 +3,7 @@
 namespace Itools\SmartArray;
 
 use InvalidArgumentException;
-use Iterator;
+use IteratorAggregate;
 use Itools\SmartString\SmartString;
 use JetBrains\PhpStorm\Deprecated;
 
@@ -21,9 +21,10 @@
  * mode narrows the return type (SmartStrings here, raw values in SmartArray);
  * only new(), asRaw(), and asHtml() have per-class behavior.
  *
- * PhpStorm 2025.3.1: Repeated "@implements" needed - union types in Iterator generics don't work reliably for foreach inference
- * @implements Iterator<mixed, SmartString>
- * @implements Iterator<mixed, SmartArrayHtml>
+ * PhpStorm: repeated single-type @implements lines - it keeps only one object
+ * member per generic union, so foreach over a union loses the second type
+ * @implements IteratorAggregate<mixed, SmartArrayHtml>
+ * @implements IteratorAggregate<mixed, SmartString>
  */
 class SmartArrayHtml extends SmartArrayBase
 {