// Repro for . //@ edition: 2021 //@ revisions: assumptions no_assumptions //@[assumptions] compile-flags: -Zhigher-ranked-assumptions //@[assumptions] check-pass //@[no_assumptions] known-bug: #110338 async fn listen() { let things: Vec> = vec![]; for _ in things.iter().map(|n| n.iter()).flatten() { // comment this line and everything compiles async {}.await; } } fn require_send(_x: T) {} fn main() { let future = listen(); require_send(future); }