What does an iterable parameter declaration guarantee?

What does an iterable parameter declaration guarantee?

1. The value is an array or implements Traversable.
2. get_debug_type will return iterable.
3. Every yielded element has the same runtime type.
4. The iterator can be rewound more than once.