<?php

use JetBrains\PhpStorm\Deprecated;

/**
 * @deprecated 7.1
 */
#[Deprecated(since: '8.0')]
function f(): void {}
