compute
Compute the types that can be produced by extracting a subrange of a tuple having the given tupleType, starting at an index that falls in the integer range type startIndexType, and ending at an index that falls in the integer range type endIndexType.
Return
The guaranteed type of the resulting tuple, in the event that it's successful.
Parameters
tuple
The type of the tuple being sliced.
start
An integer range type bounding the possible slice starting index.
end
An integer range type bounding the possible slice ending index.