foo.diff

diff --git a/src/Phan/Analysis/PostOrderAnalysisVisitor.php b/src/Phan/Analysis/PostOrderAnalysisVisitor.php
index a7557675d..089072f24 100644
--- a/src/Phan/Analysis/PostOrderAnalysisVisitor.php
+++ b/src/Phan/Analysis/PostOrderAnalysisVisitor.php
@@ -1632,7 +1632,8 @@ class PostOrderAnalysisVisitor extends AnalysisVisitor
         foreach ($this->getReturnTypes($context, $expr, $node->lineno) as $lineno => [$expression_type, $inner_node]) {
             // If there is no declared type, see if we can deduce
             // what it should be based on the return type
-            if ($method_return_type->isEmpty()
+            // TODO: this check could be performed outside the for loop? more efficient.
+            if (!$method->hasDependentReturnType() || $method_return_type->isEmpty()
                 || $method->isReturnTypeUndefined()
             ) {
                 if (!$is_trait) {