<?php

​

/**

 * @psalm-type Foo=array{foo: string}

 * @psalm-type Bar=array{bar: int}

 */

​

/**

 * @param Foo&Bar $v

 */

function acceptFooAndBar(array $v): void {

    echo sprintf('%s %d', $v['foo'], $v['bar']);

}

​

acceptFooAndBar(['foo' => 'f', 'bar' => 42]);