Allow more generic iterable when yielding

Fixes #2353

src/Psalm/Internal/Analyzer/TypeAnalyzer.php

@@ -1962,6 +1962,7 @@ class TypeAnalyzer
                         $all_types_contain = false;
                     }
                 } elseif (!$input_type_part instanceof TIterable
+                    && !$container_type_part instanceof TIterable
                     && !$container_param->hasTemplate()
                     && !$input_param->hasTemplate()
                 ) {

tests/Template/ClassTemplateExtendsTest.php

@@ -2411,6 +2411,15 @@ class ClassTemplateExtendsTest extends TestCase
                         $anInt = $maybe->extract();
                     }'
             ],
+           'extendIterable' => [
+                '<?php
+                    class MyTestCase {
+                        /** @return iterable<int,array<int,int>> */
+                        public function provide() {
+                            yield [1];
+                        }
+                    }'
+            ],
         ];
     }