Auto merge of #65541 - eddyb:spanned-inferred-outlives, r=nikomatsakis

rustc: add `Span`s to `inferred_outlives_of` predicates.

This would simplify #59789, and I suspect it has some potential in diagnostics (although we don't seem to use the predicate `Span`s much atm).

diff --cc src/librustc/ty/mod.rs
Simple merge

diff --cc src/librustc_typeck/collect.rs
Simple merge