pass return type arround when re-creating context

Author: staabm

src/Analyser/TypeSpecifier.php

@@ -1176,7 +1176,7 @@ private function specifyTypesForConstantBinaryExpression(
 			return $types->unionWith($this->specifyTypesInCondition(
 				$scope,
 				$exprNode,
-				$context->true() ? TypeSpecifierContext::createTrue() : TypeSpecifierContext::createTrue()->negate(),
+				$context->true() ? TypeSpecifierContext::createTrue($context->getReturnType()) : TypeSpecifierContext::createTrue($context->getReturnType())->negate(),
 			)->setRootExpr($rootExpr));
 		}
 
@@ -1976,7 +1976,7 @@ public function resolveEqual(Expr\BinaryOp\Equal $expr, Scope $scope, TypeSpecif
 				return $this->specifyTypesInCondition(
 					$scope,
 					$exprNode,
-					$context->true() ? TypeSpecifierContext::createFalsey() : TypeSpecifierContext::createFalsey()->negate(),
+					$context->true() ? TypeSpecifierContext::createFalsey($context->getReturnType()) : TypeSpecifierContext::createFalsey($context->getReturnType())->negate(),
 				)->setRootExpr($expr);
 			}
 

src/Type/Php/InArrayFunctionTypeSpecifyingExtension.php

@@ -147,7 +147,7 @@ public function specifyTypes(FunctionReflection $functionReflection, FuncCall $n
 			$specifiedTypes = $specifiedTypes->unionWith($this->typeSpecifier->create(
 				$node->getArgs()[1]->value,
 				new ArrayType(new MixedType(), $arrayValueType),
-				TypeSpecifierContext::createTrue(),
+				TypeSpecifierContext::createTrue($context->getReturnType()),
 				$scope,
 			));
 		}