tests/ui/entry-point/main-where-fn-bound.rs

// Regression test for issue 50714, make sure that this isn't a linker error.

fn main() where fn(&()): Eq {} //~ ERROR [E0646]