#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(core_intrinsics)]
#![allow(internal_features)]
use std::intrinsics::is_val_statically_known;
fn foo(x: &i32) -> bool {
    is_val_statically_known(x)
}
fn bar(x: &i32) -> bool {
    is_val_statically_known((x as *const i32).addr())
}
fn main() {
    _ = foo(&5_i32);
    _ = bar(&5_i32);
}