In theory, why can't it read the for-loop for you? Why not summarize the above as eg:

List<String> userNames = users[@name]

Just showing the line in a different colour could mean it's "summarized". Clicking on it could reveal the complete loop and allow you to modify it. But common idioms such as map/find/reduce/each can be summarized.