diff options
| author | David Wood <david@davidtw.co> | 2019-05-01 13:35:34 +0100 |
|---|---|---|
| committer | David Wood <david@davidtw.co> | 2019-05-01 14:40:59 +0100 |
| commit | b05d5db87bd9a3f31729a5c48dc5dd5bec6dbd2d (patch) | |
| tree | 89ebc62179b1a604b975caa5a9c38cd061db2077 /src/test/debuginfo/enum-thinlto.rs | |
| parent | 47e0803d5c2ad5952220f2c260d7e12921c1d3fe (diff) | |
| download | rust-b05d5db87bd9a3f31729a5c48dc5dd5bec6dbd2d.tar.gz rust-b05d5db87bd9a3f31729a5c48dc5dd5bec6dbd2d.zip | |
Ensure that drop order of `async fn` matches `fn`.
This commit modifies the lowering of `async fn` arguments so that the
drop order matches the equivalent `fn`.
Previously, async function arguments were lowered as shown below:
async fn foo(<pattern>: <ty>) {
async move {
}
} // <-- dropped as you "exit" the fn
// ...becomes...
fn foo(__arg0: <ty>) {
async move {
let <pattern> = __arg0;
} // <-- dropped as you "exit" the async block
}
After this PR, async function arguments will be lowered as:
async fn foo(<pattern>: <ty>, <pattern>: <ty>, <pattern>: <ty>) {
async move {
}
} // <-- dropped as you "exit" the fn
// ...becomes...
fn foo(__arg0: <ty>, __arg1: <ty>, __arg2: <ty>) {
async move {
let __arg2 = __arg2;
let <pattern> = __arg2;
let __arg1 = __arg1;
let <pattern> = __arg1;
let __arg0 = __arg0;
let <pattern> = __arg0;
} // <-- dropped as you "exit" the async block
}
If `<pattern>` is a simple ident, then it is lowered to a single
`let <pattern> = <pattern>;` statement as an optimization.
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions
