// check-pass
// compile-flags: -Zvalidate-mir

fn foo(_a: &str) {}

fn main() {
    let x = foo as fn(&'static str);

    let _ = x == foo;
}