revert comment out (reason of comment outed is that not asserted Gene…

…ricObjectType will be reported as method not found)
Jan0707 · Nov 20, 2024 · 7061ef1 · 7061ef1
1 parent cb3a9c7
commit 7061ef1
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/src/Type/ObjectProphecy/WillExtendOrImplementDynamicReturnTypeExtension.php b/src/Type/ObjectProphecy/WillExtendOrImplementDynamicReturnTypeExtension.php
@@ -95,12 +95,14 @@ public function getTypeFromMethodCall(
             $className = $scope->getClassReflection()->getName();
         }
 
+        assert(get_class($calledOnType) === Type\Generic\GenericObjectType::class);
+
         return new Type\Generic\GenericObjectType(
             Prophecy\ObjectProphecy::class,
             [
                 Type\TypeCombinator::intersect(
                     new Type\ObjectType($className),
-                    //...$calledOnType->templ
+                    ...$calledOnType->getTypes(),
                 ),
             ],
         );

diff --git a/test/StaticAnalysis/Test/ObjectProphecy/WillImplementTest.php b/test/StaticAnalysis/Test/ObjectProphecy/WillImplementTest.php
@@ -52,14 +52,21 @@ public function testCreateProphecyInTestMethod(): void
     {
         $prophecy = $this->prophesize(Src\Foo::class)->willImplement(Src\Bar::class);
 
+        $prophecy
+            ->foo()
+            ->shouldBeCalled()
+            ->willReturn('foo');
+
         $prophecy
             ->bar()
             ->shouldBeCalled()
             ->willReturn('Oh');
 
         $subject = new Src\BaseModel();
 
-        self::assertSame('Oh', $subject->bar($prophecy->reveal()));
+        $fooBar = $prophecy->reveal();
+        self::assertSame('foo', $fooBar->foo());
+        self::assertSame('Oh', $subject->bar($fooBar));
     }
 
     public function testCreateProphecyInHelperMethod(): void