rustc/tests/ui/consts/different-fn-ptr-binders-during-ctfe.rs

const fn cmp(x: fn(&'static ()), y: for<'a> fn(&'a ())) -> bool {
    x == y
    //~^ ERROR pointers cannot be reliably compared during const eval
}

fn main() {}