It seems that copilot lets one cycle through options, which is an opportunity for it to facilitate programmers moving from a naive solution to one they hadn't thought of that is more correct.

(Unclear to me yet whether the design takes advantage of this opportunity)