Yeah, for now that would be desired behaviour. Long term, we'll hopefully see it replaced by generics support for Collection<T> in php 8.x.
Type hints with generics are already becoming increasingly more common in phpdoc in frameworks it seems, but until it's a language feature it probably won't be possible to get rid of the phpdoc entirely.
