Skip to content

Conversation

RalfJung
Copy link
Member

Fixes #2682

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 20, 2022

📌 Commit 7a3aa54 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 20, 2022

⌛ Testing commit 7a3aa54 with merge 94ddca1...

@bors
Copy link
Contributor

bors commented Nov 20, 2022

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 94ddca1 to master...

@bors bors merged commit 94ddca1 into rust-lang:master Nov 20, 2022
@RalfJung RalfJung deleted the align_offset branch November 20, 2022 11:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

is_aligned goes wrong on non-provenance pointers with symbolic alignment
2 participants