Improve comments in `needs_process_obligation`.#108681

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

nnethercote:needs_process_obligation-commentsnnethercote/rust:needs_process_obligation-commentsCopy head branch name to clipboard