<?php

​

/** @var string */

$a = '';

​

assert_empty($a);

/** @psalm-trace $a */;

a($a);

​

​

/** @param ''|'0' $_a */

function a(string $_a): void{}

​

/** @psalm-assert empty $_a */

function assert_empty(string $_a): void{}