tests/crashes/118038.rs


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

//@ known-bug: #118038
#![feature(non_lifetime_binders)]

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

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