pub macro unwrap_binder {
($expr:expr) => { ... },
($expr:expr; $ty:ty) => { ... },
}🔬This is a nightly-only experimental API. (
unsafe_binders)Expand description
Unwrap an unsafe binder into its underlying type.
pub macro unwrap_binder {
($expr:expr) => { ... },
($expr:expr; $ty:ty) => { ... },
}unsafe_binders)Unwrap an unsafe binder into its underlying type.