php-src/Zend/tests/lazy_objects/setRawValueWithoutLazyInitialization_exception_002.phpt

--TEST--
Lazy objects: setRawValueWithoutLazyInitialization() leaves non-lazy properties as non-lazy in case of exception
--FILE--
<?php

class C {
    public int $a;
    public int $b;
}

function test(string $name, object $obj) {
    printf("# %s\n", $name);

    $reflector = new ReflectionClass(C::class);
    $reflector->getProperty('a')->skipLazyInitialization($obj);
    try {
        $reflector->getProperty('a')->setRawValueWithoutLazyInitialization($obj, new stdClass);
    } catch (Error $e) {
        printf("%s: %s\n", $e::class, $e->getMessage());
    }

    // Prop is still non-lazy: This does not trigger initialization
    $obj->a = 1;
    var_dump($reflector->isUninitializedLazyObject($obj));
    var_dump($obj);
}

$reflector = new ReflectionClass(C::class);
$obj = $reflector->newLazyGhost(function ($obj) {
    throw new Exception('Unreachable');
});

test('Ghost', $obj);

$obj = $reflector->newLazyProxy(function () {
    throw new Exception('Unreachable');
});

test('Proxy', $obj);

?>
--EXPECTF--
# Ghost
TypeError: Cannot assign stdClass to property C::$a of type int
bool(true)
lazy ghost object(C)#%d (1) {
  ["a"]=>
  int(1)
  ["b"]=>
  uninitialized(int)
}
# Proxy
TypeError: Cannot assign stdClass to property C::$a of type int
bool(true)
lazy proxy object(C)#%d (1) {
  ["a"]=>
  int(1)
  ["b"]=>
  uninitialized(int)
}