fix scope issue

src/Infer/Definition/ClassDefinition.php

@@ -70,7 +70,7 @@ public function getMethodDefinition(string $name, Scope $scope = new GlobalScope
         );
 
         (new ReferenceTypeResolver($scope->index))
-            ->resolveFunctionReturnReferences($scope, $this->methods[$name]->type);
+            ->resolveFunctionReturnReferences($methodScope, $this->methods[$name]->type);
 
         foreach ($this->methods[$name]->type->exceptions as $i => $exceptionType) {
             if (ReferenceTypeResolver::hasResolvableReferences($exceptionType)) {

src/Infer/Services/ReferenceTypeResolver.php

@@ -58,9 +58,9 @@ public function resolveFunctionReturnReferences(Scope $scope, FunctionType $func
         }
 
         if ($annotatedReturnType = $functionType->getAttribute('returnTypeAnnotation')) {
-//            $functionType->setReturnType(
-//                $this->addAnnotatedReturnType($functionType->getReturnType(), $annotatedReturnType)
-//            );
+            $functionType->setReturnType(
+                $this->addAnnotatedReturnType($functionType->getReturnType(), $annotatedReturnType)
+            );
         }
     }
 

src/Support/RouteInfo.php

@@ -212,19 +212,6 @@ public function getCodeReturnType()
             ->getMethodReturnType($this->methodName());
     }
 
-    private function inferredTypesContainMoreConcreteAnnotatedType(array $inferredTypes, Type $annotationType): bool
-    {
-        return (bool) collect($inferredTypes)
-            ->filter()
-            ->first(function ($t) use ($annotationType) {
-                if ($t instanceof ObjectType && $annotationType instanceof ObjectType) {
-                    return is_a($t->name, $annotationType->name, true);
-                }
-
-                return is_a($t::class, $annotationType::class, true);
-            });
-    }
-
     /**
      * @todo Maybe better name is needed as this method performs method analysis, indexes building, etc.
      */