Skip to content

minor: Address pending review nit #20267

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.

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

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Jul 21, 2025

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 21, 2025
@lnicola lnicola enabled auto-merge July 21, 2025 05:35
@lnicola lnicola marked this pull request as draft July 21, 2025 05:40
auto-merge was automatically disabled July 21, 2025 05:40

Pull request was converted to draft

@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 21, 2025
@lnicola
Copy link
Member Author

lnicola commented Jul 21, 2025

You won't believe this, but it works in beta.

@ShoyuVanilla
Copy link
Member

You won't believe this, but it works in beta.

Oh, we have rust-lang/rust#140593 Cool!

@ChayimFriedman2
Copy link
Contributor

...which means we have to change our MIR. Probably.

@ShoyuVanilla
Copy link
Member

...which means we have to change our MIR. Probably.

I guess we don't have temporal lifetime checks yet but I might be wrong 🤔

@ChayimFriedman2
Copy link
Contributor

Not checks but this impacts the lowering (drops etc.).

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