Skip to content

Weaken the leak checks and constraints for leaking coroutine witnesses#153151

Open
ShoyuVanilla wants to merge 2 commits intorust-lang:mainfrom
ShoyuVanilla:weaken-leakcheck
Open

Weaken the leak checks and constraints for leaking coroutine witnesses#153151
ShoyuVanilla wants to merge 2 commits intorust-lang:mainfrom
ShoyuVanilla:weaken-leakcheck

Conversation

@ShoyuVanilla
Copy link
Member

@ShoyuVanilla ShoyuVanilla commented Feb 26, 2026

Fixes rust-lang/trait-system-refactor-initiative#251 and fixes #140577 in an unaesthetic workaround 😅

r? lcnr

@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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver) labels Feb 26, 2026
@ShoyuVanilla ShoyuVanilla force-pushed the weaken-leakcheck branch 2 times, most recently from e9ca2be to 58d7fce Compare February 26, 2026 20:49
@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@rust-log-analyzer

This comment has been minimized.

@ShoyuVanilla
Copy link
Member Author

#140577 is fixed by this as well, and that is the cause of the CI failure.

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. WG-trait-system-refactor The Rustc Trait System Refactor Initiative (-Znext-solver)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

ICE from mir validation on unsizing in opendal ICE: next solver: failed to resolve instance for <e<FilterFn<{closure@code.rs:31:15: 31:17}>

4 participants