How to represent a non-empty array?

Question

I tried using intersection of types

/**
 * @param array&nonEmpty $users
 */
function sayHello($users): void {
    echo 'Hello, ' . $users[0];
}

but it complains:

PHPDoc tag @param for parameter $users contains unresolvable type.

(live demo)

If I strip the annotation to just nonEmpty, the error changes to

Parameter $users of function sayHello() has invalid typehint type nonEmpty

I do see the class responsible for the nonEmpty type in the source tree as well as mentioned several times in the tests and issues but I just could not make it work.

Hi, it's better to ask in GitHub PHPStan issues rather than here. Some types are only internally represented in PHPStan but you can't express them in PHPDocs. — Ondřej Mirtes
– Ondřej Mirtes, Commented Feb 11, 2020 at 9:29

Can Vural · Accepted Answer · 2021-07-27 11:35:09Z

3

Just to provide an answer for those coming from search engines:

PHPStan now has non-empty-array type you can use. Here is an example.

answered Jul 27, 2021 at 11:35

Can Vural

2,1321 gold badge28 silver badges51 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

How to represent a non-empty array?

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related