I think the answer to both of those questions is "whatever the current behavior is". Slicing into invalid indexes produces a runtime assertion, and the type would be whatever the slice type of the collection is.
I think the answer to both of those questions is "whatever the current behavior is". Slicing into invalid indexes produces a runtime assertion, and the type would be whatever the slice type of the collection is.