Remove IssetCheck/MutatingScope::issetCheck deviations and remove too…

… early exits

src/Analyser/MutatingScope.php

@@ -1983,24 +1983,12 @@ private function issetCheck(Expr $expr, callable $typeCallback, ?bool $result =
 			}
 
 			if ($hasOffsetValue->no()) {
-				if ($result !== null) {
-					return $result;
-				}
-
 				return false;
 			}
 
-			if ($hasOffsetValue->maybe()) {
-				return null;
-			}
-
 			// If offset is cannot be null, store this error message and see if one of the earlier offsets is.
 			// E.g. $array['a']['b']['c'] ?? null; is a valid coalesce if a OR b or C might be null.
-			if ($hasOffsetValue->yes()) {
-				if ($result !== null) {
-					return $result;
-				}
-
+			if ($hasOffsetValue->yes() || $this->isSpecified($expr)) {
 				$result = $typeCallback($type->getOffsetValueType($dimType));
 
 				if ($result !== null) {

src/Rules/IssetCheck.php

@@ -68,10 +68,6 @@ public function check(Expr $expr, Scope $scope, string $operatorDescription, cal
 			}
 
 			if ($hasOffsetValue->no()) {
-				if ($error !== null) {
-					return $error;
-				}
-
 				if (!$this->checkAdvancedIsset) {
 					return null;
 				}