Skip to content

Copy over some methods from At to InferCtxt - #163978

Open
fallible-algebra wants to merge 1 commit into
rust-lang:mainfrom
fallible-algebra:at-removal/at-methods-on-infctxt
Open

fallible-algebra wants to merge 1 commit into
rust-lang:mainfrom
fallible-algebra:at-removal/at-methods-on-infctxt

Conversation

@fallible-algebra

@fallible-algebra fallible-algebra commented Oct 8, 2026 •

Copy link
Copy Markdown
Member

Replaces #163448.

@lcnr wants the At struct removed, this is the first step in doing that. This change naively copies over some of the methods from At onto InferCtxt without removing any calls to InferCtxt::at or the At methods themselves.

@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 Oct 8, 2026
@rustbot

rustbot commented Oct 8, 2026

Copy link
Copy Markdown
Collaborator

r? @nnethercote

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

Why was this reviewer chosen?

The reviewer was selected based on:

  • Owners of files modified in this PR: compiler
  • compiler expanded to 77 candidates
  • Random selection from 19 candidates

@fallible-algebra

Copy link
Copy Markdown
Member Author

r? lcnr

@rustbot rustbot assigned lcnr and unassigned nnethercote Oct 8, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants