Skip to content

Conversation

@qinheping
Copy link
Contributor

Relevant upstream PR:

rust-lang/rust#129313: Supress niches in coroutines to avoid aliasing violations #129313

Resolves #3512

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@qinheping qinheping requested a review from a team as a code owner September 17, 2024 01:49
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Sep 17, 2024
@tautschnig tautschnig added this pull request to the merge queue Sep 17, 2024
Merged via the queue into model-checking:main with commit 44b585e Sep 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Toolchain upgrade to nightly-2024-09-09 failed

2 participants