//@ run-pass
fn main() {
// We shouldn't promote this
let _ = &(main as fn() == main as fn());
// Also check nested case
let _ = &(&(main as fn()) == &(main as fn()));
}