non-empty-array型
空ではない配列を意味する、静的解析ツールに実装された独自の型。基本的には
PHPDoc
に書くことで用いる。
#Psalmの型
#PHPStanの型