New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace hir_ty::Lifetime with chalk equivalent #8353

Merged

bors merged 1 commit into rust-lang:master from Veykril:chalk-lt

Apr 5, 2021

Member

Veykril commented Apr 5, 2021

Our Lifetime isn't really used yet so this is a rather simple change


          Replace unused hir_ty::Lifetime with chalk equivalents

d587ca2

Member

flodiebold commented Apr 5, 2021 •

edited

Loading

Oh yeah, that makes sense...

bors r+

changelog internal

Contributor

bors bot commented Apr 5, 2021

Build succeeded:

bors bot merged commit 8c96a7d into rust-lang:master

Veykril deleted the chalk-lt branch

April 5, 2021 20:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet