Skip to content

mir_build: Remove unnecessary lifetime from THIR PatCtxt #150148

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.

Sign up for GitHub

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

Jump to bottom
Merged
bors merged 1 commit into from
Dec 19, 2025
Merged

mir_build: Remove unnecessary lifetime from THIR PatCtxt #150148

bors merged 1 commit into from
Dec 19, 2025
+9 −8

Conversation

@Zalathar
Copy link
Member

@Zalathar Zalathar commented Dec 19, 2025

It turns out that lifetime 'a is just 'tcx in disguise.

@Zalathar
mir_build: Remove unnecessary lifetime from PatCtxt
7e63bc0 
It turns out that lifetime `'a` is just `'tcx` in disguise.
@rustbot
Copy link
Collaborator

rustbot commented Dec 19, 2025

Some changes occurred in match checking

cc @Nadrieril

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Dec 19, 2025
@rustbot
Copy link
Collaborator

rustbot commented Dec 19, 2025

r? @fee1-dead

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

@Nadrieril
Copy link
Member

Nadrieril commented Dec 19, 2025

👍

r? me

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 19, 2025

📌 Commit 7e63bc0 has been approved by Nadrieril

It is now in the queue for this repository.

@rustbot rustbot assigned Nadrieril and unassigned fee1-dead Dec 19, 2025
@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 19, 2025
@Zalathar Zalathar mentioned this pull request Dec 19, 2025
Merged
bors added a commit that referenced this pull request Dec 19, 2025
@bors
Auto merge of #150158 - Zalathar:rollup-dqazzrn, r=Zalathar
b889870 
Rollup of 3 pull requests

Successful merges:

 - #150121 (mir_build: Don't use a mixture of THIR pattern kinds for pin-patterns)
 - #150148 (mir_build: Remove unnecessary lifetime from THIR `PatCtxt`)
 - #150150 (move eii tests)

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit f140bba into rust-lang:main Dec 19, 2025
11 checks passed
@rustbot rustbot added this to the 1.94.0 milestone Dec 19, 2025
rust-timer added a commit that referenced this pull request Dec 19, 2025
@rust-timer
Unrolled build for #150148
cb34419 
Rollup merge of #150148 - Zalathar:pat-ctxt, r=Nadrieril

mir_build: Remove unnecessary lifetime from THIR `PatCtxt`

It turns out that lifetime `'a` is just `'tcx` in disguise.
@Zalathar Zalathar deleted the pat-ctxt branch December 19, 2025 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@Nadrieril Nadrieril

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue.

Projects

None yet

Milestone

1.94.0

Development

Successfully merging this pull request may close these issues.

5 participants

@Zalathar @rustbot @Nadrieril @bors @fee1-dead