tests/ui/traits/non-lifetime-via-dyn-builtin.rs

//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@ check-pass

#![feature(non_lifetime_binders)]

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

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