blob: 96077d5b773ba52b51dfc7bd6f32edaf2e8bd6b9 [file] [log] [blame]
// unit-test: GVN
// EMIT_MIR reify_fn_ptr.main.GVN.diff
fn main() {
// CHECK-LABEL: fn main(
// CHECK: [[ptr:_.*]] = main as fn() (PointerCoercion(ReifyFnPointer));
// CHECK: [[addr:_.*]] = move [[ptr]] as usize (PointerExposeAddress);
// CHECK: [[back:_.*]] = move [[addr]] as *const fn() (PointerFromExposedAddress);
let _ = main as usize as *const fn();
}