1--TEST--
2Test typed properties error condition (fetch uninitialized by reference)
3--FILE--
4<?php
5$thing = new class() {
6    public int $int;
7};
8
9$var = &$thing->int;
10?>
11--EXPECTF--
12Fatal error: Uncaught Error: Cannot access uninitialized non-nullable property class@anonymous::$int by reference in %s:%d
13Stack trace:
14#0 {main}
15  thrown in %s on line %d
16