about summary refs log tree commit diff
path: root/tests/ui/async-await/async-fn/macro-async-trait-bound-theoretical-regression.rs
diff options
context:
space:
mode:
authorAmanda Stjerna <amanda.stjerna@it.uu.se>2025-08-19 12:32:22 +0200
committerAmanda Stjerna <amanda.stjerna@it.uu.se>2025-08-22 13:38:22 +0200
commit7dd56b10add80e21514df3a258b02106ebb52245 (patch)
treec2cbfe530bd04d92d11849c5d3304c8b2b48b5c2 /tests/ui/async-await/async-fn/macro-async-trait-bound-theoretical-regression.rs
parent831e291d3be4cacc4fe178424c4d6baa264d8b5a (diff)
downloadrust-7dd56b10add80e21514df3a258b02106ebb52245.tar.gz
rust-7dd56b10add80e21514df3a258b02106ebb52245.zip
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.
Diffstat (limited to 'tests/ui/async-await/async-fn/macro-async-trait-bound-theoretical-regression.rs')
0 files changed, 0 insertions, 0 deletions