diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-12-22 03:49:44 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-22 03:49:44 +0100 |
| commit | 239b7e83371fa0a5ee95ea944ea2ac6ac1fa7395 (patch) | |
| tree | 3a1362395ad90e8eba491425901eefaad7fed83a /src/ci/scripts/upload-build-metrics.py | |
| parent | 7cf91567c4adaa906987c9dae39a96347da7b187 (diff) | |
| parent | 8f9fede0b877966a702c1f1ac6e4ade7028aef8a (diff) | |
| download | rust-239b7e83371fa0a5ee95ea944ea2ac6ac1fa7395.tar.gz rust-239b7e83371fa0a5ee95ea944ea2ac6ac1fa7395.zip | |
Rollup merge of #134618 - RalfJung:coroutine-clone-comments, r=lqd
coroutine_clone: add comments I was very surprised to learn that coroutines can be cloned. This has non-trivial semantic consequences that I do not think have been considered. Lucky enough, it's still unstable. Let's add some comments and pointers so we hopefully become aware when a MIR opt actually is in conflict with this. Cc `@rust-lang/wg-mir-opt`
Diffstat (limited to 'src/ci/scripts/upload-build-metrics.py')
0 files changed, 0 insertions, 0 deletions