Skip to content

Commit

Permalink
Merge pull request #9364 from Nicelocal/fix_9363
Browse files Browse the repository at this point in the history
  • Loading branch information
weirdan committed Feb 21, 2023
2 parents c46eccd + f665e71 commit 5390c21
Showing 1 changed file with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -178,6 +178,9 @@ public static function analyze(
}

if ($literal_concat) {
// Bypass opcache bug: https://github.com/php/php-src/issues/10635
(function (int $_): void {
})($combinations);
if (count($result_type_parts) === 0) {
throw new AssertionError("The number of parts cannot be 0!");
}
Expand Down

0 comments on commit 5390c21

Please sign in to comment.