<?php

$x = new readonly readonly class {};

?>