tests/ui/traits/next-solver/writeback-predicate-bound-region.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

//@ edition: 2024
//@ check-pass
//@ compile-flags: -Znext-solver

// This previously ICE'd during writeback when resolving
// the stalled coroutine predicate due to its bound lifetime.

trait Trait<'a> {}
impl<'a, T: Send> Trait<'a> for T {}

fn is_trait<T: for<'a> Trait<'a>>(_: T) {}
fn main() {
    is_trait(async {})
}