yield has implicit throw point

Author: ondrejmirtes

src/Analyser/NodeScopeResolver.php

@@ -2327,7 +2327,6 @@ static function () use ($expr, $rightResult): MutatingScope {
 			|| $expr instanceof Expr\Print_
 			|| $expr instanceof Expr\UnaryMinus
 			|| $expr instanceof Expr\UnaryPlus
-			|| $expr instanceof Expr\YieldFrom
 		) {
 			$result = $this->processExprNode($expr->expr, $scope, $nodeCallback, $context->enterDeep());
 			$throwPoints = $result->getThrowPoints();
@@ -2337,6 +2336,17 @@ static function () use ($expr, $rightResult): MutatingScope {
 				$hasYield = $result->hasYield();
 			}
 
+			$scope = $result->getScope();
+		} elseif ($expr instanceof Expr\YieldFrom) {
+			$result = $this->processExprNode($expr->expr, $scope, $nodeCallback, $context->enterDeep());
+			$throwPoints = $result->getThrowPoints();
+			$throwPoints[] = ThrowPoint::createImplicit($scope);
+			if ($expr instanceof Expr\YieldFrom) {
+				$hasYield = true;
+			} else {
+				$hasYield = $result->hasYield();
+			}
+
 			$scope = $result->getScope();
 		} elseif ($expr instanceof BooleanNot) {
 			$result = $this->processExprNode($expr->expr, $scope, $nodeCallback, $context->enterDeep());
@@ -2518,7 +2528,9 @@ static function () use ($finalScope, $expr): MutatingScope {
 			);
 
 		} elseif ($expr instanceof Expr\Yield_) {
-			$throwPoints = [];
+			$throwPoints = [
+				ThrowPoint::createImplicit($scope),
+			];
 			if ($expr->key !== null) {
 				$keyResult = $this->processExprNode($expr->key, $scope, $nodeCallback, $context->enterDeep());
 				$scope = $keyResult->getScope();

tests/PHPStan/Rules/Exceptions/CatchWithUnthrownExceptionRuleTest.php

@@ -82,4 +82,9 @@ public function testBug4805(): void
 		]);
 	}
 
+	public function testBug4863(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-4863.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Exceptions/data/bug-4863.php

@@ -0,0 +1,17 @@
+<?php
+
+namespace Bug4863;
+
+class HelloWorld
+{
+	/**
+	 * @return \Generator<string>
+	 */
+	public function generate(): \Generator {
+		try {
+			yield 'test';
+		} catch (\Exception $exception) {
+			echo $exception->getMessage();
+		}
+	}
+}