summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/non-lifetime-via-dyn-builtin.rs
blob: 996cd295dc4c1ee554b408bb031a810dd0a54620 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// revisions: current next
//[next] compile-flags: -Znext-solver
// check-pass

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

fn trivial<A>()
where
    for<B> dyn Fn(A, *const B): Fn(A, *const B),
{
}

fn main() {
    trivial::<u8>();
}