Actually wouldn't it be

    int[][int] whatever;

? Because I think we should be getting an array out whenever we do

    whatever[1]

and not just an int.

(You were questioning the language designer there)

I know, I think he misread the C++ code.

Yes, you're right.