Macro unwrap_binder

pub macro unwrap_binder {
    ($expr:expr) => { ... },
    ($expr:expr; $ty:ty) => { ... },
}

Unwrap an unsafe binder into its underlying type.