--TEST--
Type change in assign_op (use-after-free)
--FILE--
<?php
declare(strict_types=1);

class A {
    public string $foo;
}

$o = new A;
$o->foo = "1" . str_repeat("0", 2);
try {
    $o->foo += 5;
} catch (Throwable $e) {
    echo $e->getMessage() . "\n";
}
var_dump($o->foo);
unset($o);
?>
--EXPECT--
Cannot assign int to property A::$foo of type string
string(3) "100"