<?php
final class TypedReferenceObjectParamValue {}
function typedReferenceObjectParam(TypedReferenceObjectParamValue &$value): void {}