Skip to content

Conversation

@ada4a
Copy link
Contributor

@ada4a ada4a commented Aug 13, 2025

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Aug 13, 2025

r? @Jarcho

rustbot has assigned @Jarcho.
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

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 13, 2025
@ada4a ada4a force-pushed the ptr-as-ptr-move-to-if branch from 73fa97f to 6d8cb1a Compare August 13, 2025 17:55
@ada4a ada4a changed the title ptr_as_ptr: move to if ptr_as_ptr: move to if Aug 13, 2025
@rustbot

This comment has been minimized.

@ada4a ada4a force-pushed the ptr-as-ptr-move-to-if branch from 6d8cb1a to 508ae3d Compare August 17, 2025 11:47
@ada4a ada4a force-pushed the ptr-as-ptr-move-to-if branch from 508ae3d to 33d0639 Compare August 22, 2025 13:33
@rustbot

This comment has been minimized.

@ada4a ada4a force-pushed the ptr-as-ptr-move-to-if branch from 33d0639 to 78b1b53 Compare August 22, 2025 17:58
@rustbot

This comment has been minimized.

ada4a added 2 commits August 24, 2025 16:21
allows reusing numerous variables
@ada4a ada4a force-pushed the ptr-as-ptr-move-to-if branch from 78b1b53 to d4a6061 Compare August 24, 2025 14:24
@rustbot
Copy link
Collaborator

rustbot commented Aug 24, 2025

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

@samueltardieu samueltardieu added this pull request to the merge queue Aug 24, 2025
Merged via the queue into rust-lang:master with commit 22c47f0 Aug 24, 2025
11 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 24, 2025
@ada4a ada4a deleted the ptr-as-ptr-move-to-if branch August 27, 2025 14:45
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.

4 participants