Problem

This type is treated almost as a tuple by tsc, but stc fails to verify it.
It's because it extends Array.

Solution

I think we should handle it from Analyzer.normalize.
Implementing special rules to each function for handling such edge looks like overengineering.

We can add logic for checking if the ty is an interface which extends an array-like builtin interface at