I figured it out. The answer was actually pretty damn obvious. (blush)
The correct syntax is the same as for any PHPDoc:
/**
* @var array
*/
private $parameters;
I'm surprised nobody managed to point this out in the 5 hours between me asking this question and me discovering the answer myself. Oh well.