Also:
```
fun String.withIndices(): Int = 42

fun foo(s: String) {
    for (a in s) {
    }
}
```

I think the intention should not be applicable here, because it would produce a bad code (`Int` is not iterable). This means you actually need to check what the newly inserted `withIndices` would resolve to (should be the one in package `kotlin`).