// revisions: current next | |
//[next] compile-flags: -Ztrait-solver=next | |
// 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>(); | |
} |