michael@0: // |jit-test| error: TypeError
michael@0: var s = "12345";
michael@0: for(var i=0; i<7; i++) {
michael@0:     print(s[i].length);
michael@0: }
michael@0: