Add stubs for (some) Symfony iterable types

Author: VasekPurchart

extension.neon

@@ -3,6 +3,11 @@ parameters:
 		container_xml_path: null
 		constant_hassers: true
 		console_application_loader: null
+	stubFiles:
+		- stubs/FormBuilderInterface.php
+		- stubs/FormInterface.php
+		- stubs/HeaderBag.php
+		- stubs/Session.php
 
 parametersSchema:
 	symfony: structure([

stubs/FormBuilderInterface.php

@@ -0,0 +1,11 @@
+<?php
+
+namespace Symfony\Component\Form;
+
+/**
+ * @extends \Traversable<int, \Symfony\Component\Form\FormBuilderInterface>
+ */
+interface FormBuilderInterface extends \Traversable
+{
+
+}

stubs/FormInterface.php

@@ -0,0 +1,11 @@
+<?php
+
+namespace Symfony\Component\Form;
+
+/**
+ * @extends \Traversable<int, \Symfony\Component\Form\FormInterface>
+ */
+interface FormInterface extends \Traversable
+{
+
+}

stubs/HeaderBag.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace Symfony\Component\HttpFoundation;
+
+/**
+ * @implements \IteratorAggregate<string, string|string[]>
+ */
+class HeaderBag implements \IteratorAggregate
+{
+
+	/**
+	 * @phpstan-return \Traversable<string, string|string[]>
+	 */
+	public function getIterator() {}
+
+}

stubs/Session.php

@@ -0,0 +1,16 @@
+<?php
+
+namespace Symfony\Component\HttpFoundation\Session;
+
+/**
+ * @implements \IteratorAggregate<string, mixed>
+ */
+class Session implements \IteratorAggregate
+{
+
+	/**
+	 * @phpstan-return \Traversable<string, mixed>
+	 */
+	public function getIterator() {}
+
+}