Fix PostBorrowckAnalysis for old solver by compiler-errors · Pull Request #135899 · rust-lang/rust (original) (raw)

Conversation

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

compiler-errors

@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

Jan 22, 2025

compiler-errors

lcnr

lcnr

lcnr

lcnr

@lcnr lcnr mentioned this pull request

Jan 30, 2025

compiler-errors

bors added a commit to rust-lang-ci/rust that referenced this pull request

Mar 18, 2025

@bors

…lver, r=

Fix PostBorrowckAnalysis for old solver

branch name is typo'd

This "fixes" the PostBorrowckAnalysis mode for the old solver, and begins to use it in check_opaque_well_formed and check_coroutine_obligations.

There are several curiosities here that result.

r? lcnr

@compiler-errors