tests/ui/traits/non_lifetime_binders/type-match-with-late-bound.rs


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

// edition:2021
// check-pass

// Checks that test_type_match code doesn't ICE when predicates have late-bound types

#![feature(non_lifetime_binders)]
//~^ WARN is incomplete and may not be safe to use

async fn walk2<'a, T: 'a>(_: T)
where
    for<F> F: 'a,
{}

fn main() {}