Skip to content

Conversation

sayantn
Copy link
Contributor

@sayantn sayantn commented Sep 22, 2025

Reverts #1919. See #1923, we would need more discussions for this

@rustbot
Copy link
Collaborator

rustbot commented Sep 22, 2025

r? @Amanieu

rustbot has assigned @Amanieu.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@sayantn
Copy link
Contributor Author

sayantn commented Sep 22, 2025

We also need to do the work of #1923 here.

Also, wtf github, why did it make the branch in upstream 🤦🏽‍♂️ ?

@Amanieu
Copy link
Member

Amanieu commented Sep 22, 2025

It might be easier to just add the revert to #1923.

@sayantn
Copy link
Contributor Author

sayantn commented Sep 22, 2025

That also works.

@sayantn sayantn closed this Sep 22, 2025
auto-merge was automatically disabled September 22, 2025 22:36

Pull request was closed

@sayantn sayantn deleted the revert-1919-fix-vreinterpret branch September 22, 2025 22:36
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.

3 participants