search

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver
https://rust-lang.github.io/chalk/book/
Other
1.81k stars 179 forks source link

Introduce Lifetime::Error #809

Closed Veykril closed 5 months ago

Veykril commented 5 months ago

r-a has some rudimentary lifetime support now, but due to the lack of an error variant we are using Static for this right now. This results in worse UX as we now show 'static when it's actually some other possibly non 'static lifetime

Veykril commented 5 months ago

r? @jackh726

compiler-errors commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit 60330f14f786f38b5a374eed3ec8a9295613251e has been approved by compiler-errors

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 60330f14f786f38b5a374eed3ec8a9295613251e with merge 20a72e0ca6efc209386c7bc8f0a8df7654010770...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: compiler-errors Pushing 20a72e0ca6efc209386c7bc8f0a8df7654010770 to master...