Bug #76463 [NEW]: var has array key type but not value type

From: laruence Operating system: PHP version: 7.3.0alpha1 Package: opcache Bug Type: Bug Bug description:var has array key type but not value type Description: ------------ var 11 (TMP) has array key type but not value type var 12 (TMP) has array key type but not value type var 14 (TMP) has array key type but not value type var 15 (CV $old_data) has array key type but not value type Test script: --------------- $old_data = isset($old_data) ? (array)$old_data : []; Expected result: ---------------- non warning Actual result: -------------- var 11 (TMP) has array key type but not value type var 12 (TMP) has array key type but not value type var 14 (TMP) has array key type but not value type var 15 (CV $old_data) has array key type but not value type -- Edit bug report at https://bugs.php.net/bug.php?id=76463&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=76463&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=76463&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=76463&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=76463&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=76463&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=76463&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=76463&r=needscript Try newer version: https://bugs.php.net/fix.php?id=76463&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=76463&r=support Expected behavior: https://bugs.php.net/fix.php?id=76463&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=76463&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=76463&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=76463&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=76463&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=76463&r=dst IIS Stability: https://bugs.php.net/fix.php?id=76463&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=76463&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=76463&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=76463&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=76463&r=mysqlcfg