rust/tests/ui/async-await/await-unsize.rs

// Regression test for #62312

//@ check-pass
//@ edition:2018

async fn make_boxed_object() -> Box<dyn Send> {
    Box::new(()) as _
}

async fn await_object() {
    let _ = make_boxed_object().await;
}

fn main() {}
Break out of the correct number of scopes in loops We were incorrectly breaking out of one too many drop scopes when generating MIR for loops and breakable blocks, resulting in use after free and associated borrow checker warnings. This wasn't noticed because the scope that we're breaking out of twice is only used for temporaries that are created for adjustments applied to the loop. Since loops generally propagate coercions to the `break` expressions, the only case we see this is when the type of the loop is a smart pointer to a trait object. 2019-07-04 20:53:46 +00:00			`// Regression test for #62312`

[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives 2024-02-16 20:02:50 +00:00			`//@ check-pass`
			`//@ edition:2018`
Break out of the correct number of scopes in loops We were incorrectly breaking out of one too many drop scopes when generating MIR for loops and breakable blocks, resulting in use after free and associated borrow checker warnings. This wasn't noticed because the scope that we're breaking out of twice is only used for temporaries that are created for adjustments applied to the loop. Since loops generally propagate coercions to the `break` expressions, the only case we see this is when the type of the loop is a smart pointer to a trait object. 2019-07-04 20:53:46 +00:00
			`async fn make_boxed_object() -> Box<dyn Send> {`
			`Box::new(()) as _`
			`}`

			`async fn await_object() {`
			`let _ = make_boxed_object().await;`
			`}`

			`fn main() {}`