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

treat ref-to-raw cast like a reborrow: do a special kind of retag #571

Closed

RalfJung wants to merge 2 commits into rust-lang:master from RalfJung:retag-to-raw

Member

RalfJung commented Dec 12, 2018 •

edited

Loading

Includes #570.

Waiting for rust-lang/rust#56741 to land


          treat ref-to-raw cast like a reborrow: do a special kind of retag

7e9098f

RalfJung mentioned this pull request

treat ref-to-raw cast like a reborrow: do a special kind of retag rust-lang/rust#56741

Merged


          Merge branch 'master' into retag-to-raw

d5820d4

Member Author

RalfJung commented Dec 12, 2018

Actually, let me move this to the rustup branch so that we can keep miri green in rustc.

RalfJung closed this

RalfJung deleted the retag-to-raw branch

December 12, 2018 12:01

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

Labels

None yet