tests/ui/borrowck/issue-88434-minimal-example.rs


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

// Regression test related to issue 88434

//@ dont-require-annotations: NOTE

const _CONST: &() = &f(&|_| {}); //~ ERROR explicit panic
//~^ NOTE constant

const fn f<F>(_: &F)
where
    F: FnMut(&u8),
{
    panic!() //~ NOTE inside `f
}

fn main() {}