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

Remove empty lifetime #783

Closed compiler-errors closed 1 year ago

compiler-errors commented 1 year ago

It's no longer present in rustc, so we probably don't need it in Chalk either.

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 7eca6c10e76dec1eedee8c9245c3fa1bb4358302 has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 7eca6c10e76dec1eedee8c9245c3fa1bb4358302 with merge ee06f54a31e9b76dc995df09a6b0f1f4d4bb58df...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing ee06f54a31e9b76dc995df09a6b0f1f4d4bb58df to master...