Hmm ok I see that "val x : Iterable<String> = ArrayList<String>()" is possible, so Iterable must be supertype of ArrayList.
This is not clear from the programmers perspective by just looking at the class/interface hierachy.
So it might be an IDE integration problem.