tests/ui/higher-rank-trait-bounds/fn-ptr.rs


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

// revisions: classic next
//[next] compile-flags: -Ztrait-solver=next
//[next] check-pass

fn ice()
where
    for<'w> fn(&'w ()): Fn(&'w ()),
{
}

fn main() {
    ice();
    //[classic]~^ ERROR expected a `Fn<(&'w (),)>` closure, found `fn(&'w ())`
}