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 differ

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.