For some context: my comment was motivated by a recent, large [pull request](https://github.com/doctrine/mongodb-odm/pull/582) on the MongoDB ODM. The original author there added `use` statements for these explicitly to support some IDE, and I confirmed that phpDocumentor would cooperate before merging it.