"str".bytes.iterate(12.34) // expect runtime error: Iterator must be an integer.