Skip to content

-Znext-solver Ignore region constraints from the nested goals in leakcheck#155749

Draft
ShoyuVanilla wants to merge 2 commits intorust-lang:mainfrom
ShoyuVanilla:leakcheck-vis
Draft

-Znext-solver Ignore region constraints from the nested goals in leakcheck#155749
ShoyuVanilla wants to merge 2 commits intorust-lang:mainfrom
ShoyuVanilla:leakcheck-vis

Conversation

@ShoyuVanilla
Copy link
Copy Markdown
Member

@ShoyuVanilla ShoyuVanilla commented Apr 24, 2026

Fixes rust-lang/trait-system-refactor-initiative#251
Fixes #140577
Fixes #153596

Blocked on #155487
TODO: Add some comments on VisibleForLeakCheck and its handling inside EvalCtxt::evaluate_goal_raw

@rustbot rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Apr 24, 2026
@ShoyuVanilla ShoyuVanilla changed the title -Znext-solver Ignore region constraints from the nested goals in leakcheck -Znext-solver Ignore region constraints from the nested goals in leakcheck Apr 24, 2026
@ShoyuVanilla ShoyuVanilla mentioned this pull request Apr 25, 2026
Draft
@rust-log-analyzer

This comment has been minimized.

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

Reviewers

No reviews

Assignees

No one assigned

Labels

S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Milestone

No milestone

3 participants

@ShoyuVanilla @rust-log-analyzer @rustbot