about summary refs log tree commit diff
path: root/compiler/rustc_span/src
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2025-08-27 09:25:46 +0000
committerbors <bors@rust-lang.org>2025-08-27 09:25:46 +0000
commitb2dd217dd0a099fb87601657ec480bf3e92b30a6 (patch)
treef40c304ad5fe71130a420c2d0454ddf49224be55 /compiler/rustc_span/src
parent4f808ba6bf9f1c8dde30d009e73386d984491587 (diff)
parentae622bb6af818d8592a143d391d4a7eacfee8f24 (diff)
downloadrust-b2dd217dd0a099fb87601657ec480bf3e92b30a6.tar.gz
rust-b2dd217dd0a099fb87601657ec480bf3e92b30a6.zip
Auto merge of #140737 - amandasystems:revised-constraint-search, r=lcnr
Region inference: Use outlives-static constraints in constraint search

Revise the extra `r: 'static` constraints added upon universe issues to add an explanation, and use that explanation during constraint blame search. This greatly simplifies the region inference logic, which now does not need to reverse-engineer the event that caused a region to outlive `'static`.

This cosmetically changes the output of two UI tests. I blessed them i separate commits with separate motivations, but that can of course be squashed as desired. We probably want that.

The PR was extracted out of rust-lang/rust#130227 and consists of one-third of its functional payload.

r? lcnr
Diffstat (limited to 'compiler/rustc_span/src')
0 files changed, 0 insertions, 0 deletions