Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
treat ref-to-raw cast like a reborrow: do a special kind of retag #56741
I like how everything is more explicit. So this PR lgtm, but without the corresponding miri-PR it's kind of hard to gauge the effect.
I'm fine with just r+ing this PR, since I'm gonna see the changes to miri later, but we might end up having to cycle back to rustc changes (unlikely though).