blob: 9feb29439187d6986db73a808eb8160fe55227bf [file]
//@ check-pass
#![feature(unsafe_binders)]
use std::unsafe_binder::{wrap_binder, unwrap_binder};
fn main() {
unsafe {
let x = 1;
let binder: unsafe<'a> &'a i32 = wrap_binder!(&x);
let rx = *unwrap_binder!(binder);
}
}