<?php

/**
 * @psalm-return never-return
 */
function f()
{
}

/**
 * @psalm-return never-returns
 */
function g(){

}

/**
 * @psalm-return no-return
 */
function z(){

}