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>();
}
|