Robustify and genericize return-type-notation resolution in `resolve_bound_vars`#132047

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:rbv-rtn-cleanupcompiler-errors/rust:rbv-rtn-cleanupCopy head branch name to clipboard