- Notifications
You must be signed in to change notification settings - Fork 13.8k
Closed
Labels
Description
When using async closures, rust since around 1.80 fails to infer parameter type in most scenarios.
#![feature(async_closure)] use anyhow::Error; use futures::{stream::repeat_with, StreamExt}; fn accept_str(_: &str) {} fn accept_string(_: &String) {} #[tokio::main(flavor = "current_thread")] async fn main() -> Result<(), Error> { // when using closure returning async block - everything works repeat_with(|| "foo".to_owned()) .take(1) .for_each(|value| async move { accept_str(&value); // ok accept_str(value.as_str()); // ok accept_string(&value); // ok }) .await; // when using async closure, most options fail repeat_with(|| "foo".to_owned()) .take(1) .for_each(async move |value| { // error on whole closure, rust thinks that type of value is `str` // accept_str(&value); // type annotations needed, cannot infer type // accept_str(value.as_str()); // this works accept_string(&value); // ok }) .await; // can be fixed by providing type hint on async closure parameter repeat_with(|| "foo".to_owned()) .take(1) .for_each(async move |value: String| { accept_str(&value); // ok accept_str(value.as_str()); // ok accept_string(&value); // ok }) .await; Ok(()) }
I expected to see this happen: All options used to work in past versions of rust
Instead, this happened: Without explicit type hint it fails
Version it worked on
It used to work in the past, around 1.79
Version with regression
rustc 1.81.0-nightly (524d806c6 2024-07-05) binary: rustc commit-hash: 524d806c62a82ecc0cf8634b94997ae506f4d6f9 commit-date: 2024-07-05 host: x86_64-pc-windows-msvc release: 1.81.0-nightly LLVM version: 18.1.7